ConditionSimplifier --> ConstraintSimplifier
BoundConditioner --> BoundConstrainer