Passed

org.eclipse.ocl.examples.impactanalyzer.tests.deltaPropagation.PartialEvaluatorTest.testAtPreEvaluationWithSingleRemoveFromReferenceWithOrdering <tycho-withUnusedChecks> (from org.eclipse.ocl.examples.impactanalyzer.tests.ImpactAnalyzerAllTests)