org.eclipse.viatra.query.runtime.cps.tests.CrossResourceReferenceTest.crossRefTest_1[With DanglingFreeAssumption: unset]