org.eclipse.viatra.query.patternlanguage.emf.tests.composition.CompositionValidatorTest.testNegativeCallCircle
This call is unsafe because of a negative call circle. p: Pattern is a positive reference.