OclConstraintCheck validation.