OCL validation