Creating new contexts is a subtle thing to get right.
This PR proposes that the automatic rules only create contexts with context-free children. Without this change, rules never saturate even for non-cyclic egraphs due to InLoop.
We should keep thinking about what contexts to create and how rules can indicate contexts to create.
Creating new contexts is a subtle thing to get right. This PR proposes that the automatic rules only create contexts with context-free children. Without this change, rules never saturate even for non-cyclic egraphs due to InLoop.
We should keep thinking about what contexts to create and how rules can indicate contexts to create.