|Maintainer||Simon Meier <email@example.com>|
This module implements all rules that do not result in case distinctions and equation solving. Some additional cases may although result from splitting over multiple AC-unifiers. Note that a few of these rules are implemented directly in the methods for inserting constraints to the constraint system. These methods are provided by Theory.Constraint.Solver.Reduction.