Unexpected behaviour if a rule shares variables with the graph it is matching
akissinger opened this issue · comments
To reproduce, make a spider rule with variables "a" and "b", and match on graph with angles "a" and "0". At least one of the rewrites should be wrong.