org.eclipse.viatra.query.runtime.cps.tests.CrossResourceContainmentTest.crossContTest_3[With DanglingFreeAssumption: false]