org.eclipse.ocl.examples.validity.test.ValidityModelTests.testValidityModelCreateResultSet <> (from org.eclipse.ocl.examples.validity.test.AllValidityTests)