Adding OCL validation rules