Interface MultiConstraintVerification<Solution_>