org.eclipse.ocl.ecore.tests.IteratorsTest.test_forAll_invalidBody_142518 <maven-backtracking> (from org.eclipse.ocl.ecore.tests.AllTestsBacktracking)