(header ((p) ihello provides) ((sut) compliance0 component))
(state ((p)) ((sut)))
test/all/compliance0/compliance0.dzn:42:20: error: illegal
<external>.p.cruel -> ...
... -> sut.p.cruel
<illegal>
(state ((p)) ((sut)))
test/all/compliance0/compliance0.dzn:42:20: error: illegal
(trail "p.cruel" "<illegal>")
(labels "p.hello" "p.cruel")
(eligible)
