It's easy to forget a deepcopy or to have ids that don't match up with the surrounding context.
We should add egglog rules that check that enforce the invariant that every context has a unique id. It's not clear how to do this yet- perhaps via an egglog table that maps ids to the body?
It's easy to forget a deepcopy or to have ids that don't match up with the surrounding context. We should add egglog rules that check that enforce the invariant that every context has a unique id. It's not clear how to do this yet- perhaps via an egglog table that maps ids to the body?