org.eclipse.viatra.query.patternlanguage.emf.tests.types.TypeInferenceTest.mistypedNegativePatternCall