This PR adds a rust function that adds context to the original program added to the egraph. This allows the first version of the program to have full contextual information.
We can then use egglog rules to create contexts we need later.
This also makes the generated egglog file much smaller by sharing common sub-expressions.
This PR adds a rust function that adds context to the original program added to the egraph. This allows the first version of the program to have full contextual information. We can then use egglog rules to create contexts we need later.
This also makes the generated egglog file much smaller by sharing common sub-expressions.