Next: The HullConsistency, Simp2B and
Up: Simplification procedures
Filtering simplification procedures
An important point: some of these procedures have as argument a list
of variable names and this list must be the same than the one that is
used for the solving procedure.