OCL constraint: check for cyclic dependencies