(header ((i) I provides) ((sut) deadlock_component1 component))
<external>.i.e -> ...
... -> sut.i.e
... <- sut.i.return
<external>.i.return <- ...
(trail "i.e" "i.return")
test/all/deadlock_component1/deadlock_component1.dzn:41:3: error: deadlock
<deadlock>
test/all/deadlock_component1/deadlock_component1.dzn:41:3: error: deadlock
(trail "<deadlock>")
(labels "i.e")
(eligible)
