Model Nest8{ Model Sub1{ Model Sub3{ Node A{ ref1 : B[*]; } } } Model Sub2{ Node B{ ref2 : A[*]; } Edge E(A.ref1, B.ref2); } } // This should fail as A is not accessible from Sub2 // when defining edge E. // ? is this coherent with the fact that I can declare ref2?