Constraint Simplification
Two equivalent constraints represent the same information
But one may be simpler than the other
Removing redundant constraints, rewriting a primitive constraint, changing order, substituting using an equation all preserve equivalence