Added ConstraintPropagator.