Added DefaultConstraintPropagator.