org.eclipse.ocl.examples.impactanalyzer.tests.filterSynthesis.FilterSynthesisEMEnabledTest.testAttributeValueChangedEventEmployeeBudget <tycho-withNavigationSteps> (from org.eclipse.ocl.examples.impactanalyzer.tests.ImpactAnalyzerAllTests)