Class DefaultSingleConstraintVerification<Solution_>