(header ((i) I provides) ((sut) compliance0 component))
test/all/compliance0/compliance0.dzn:42:17: error: illegal
<external>.i.f -> ...
... -> sut.i.f
<illegal>
test/all/compliance0/compliance0.dzn:42:17: error: illegal
(trail "i.f" "<illegal>")
(labels "i.e" "i.f")
(eligible)
