Interface ConstraintVerifier<ConstraintProvider_ extends ConstraintProvider,​Solution_>