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