This refactors the ConstraintGraph-related changes to make them more fine-grained. It also fixes a performance issue where PotentialBindings::infer() and ::retract() calls were not balanced, and we'd get thousands of duplicate bindings in some circumstances.
This refactors the ConstraintGraph-related changes to make them more fine-grained. It also fixes a performance issue where PotentialBindings::infer() and ::retract() calls were not balanced, and we'd get thousands of duplicate bindings in some circumstances.