org.eclipse.ocl.examples.eventmanager.tests.framework.IncludeSubclassesTest.testNegatedSubscriptionClassANotificationSubclassB <tycho> (from org.eclipse.ocl.examples.eventmanager.tests.EventManagerTests)