new method testViolatesMultiplicityConstraints() but not completed yet.
there are some ambiguities in the OCL