org.eclipse.ocl.examples.impactanalyzer.tests.filterSynthesis.FilterSynthesisTest.testElementRemovedEventDepartment <tycho-withUnusedChecks> (from org.eclipse.ocl.examples.impactanalyzer.tests.ImpactAnalyzerAllTests)