(header ((i) I provides) ((sut) illegal_component0 component) ((ii) I requires))
(state ((i)) ((sut)) ((ii)))
test/all/illegal_component0/illegal_component0.dzn:39:41: error: illegal
<external>.i.e -> ...
... -> sut.i.e
sut.ii.e -> ...
... -> <external>.ii.e
... <- <external>.ii.return
sut.ii.return <- ...
<illegal>
(state ((i)) ((sut)) ((ii)))
test/all/illegal_component0/illegal_component0.dzn:39:41: error: illegal
(trail "i.e" "ii.e" "ii.return" "<illegal>")
(labels "i.e")
(eligible)
