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