(header ((client) deadlock_interface1 provides) ((sut) deadlock_interface1 interface))
<external>.e -> ...
... -> sut.e
... <- sut.return
<external>.return <- ...
(trail "e" "return")
test/all/deadlock_interface1/deadlock_interface1.dzn:29:3: error: deadlock
<deadlock>
test/all/deadlock_interface1/deadlock_interface1.dzn:29:3: error: deadlock
(trail "<deadlock>")
(labels "e")
(eligible)
