Redefined OCL-Constraint Spec