Class DefaultSingleConstraintAssertion<Solution_>