(header ((p) ihello provides) ((sut) state_deadlock system) ((sut c1) helloworld1 component) ((sut c2) helloworld2 component) ((r) ihello requires))
test/all/state_deadlock/state_deadlock.dzn:44:3: error: illegal
<external>.p.hello -> ...
... -> sut.c1.pc1.hello
<illegal>
test/all/state_deadlock/state_deadlock.dzn:44:3: error: illegal
(trail "p.hello" "<illegal>")
(labels "p.hello" "r.world")
(eligible)
