(header ((p) I provides) ((sut) deadlock_blocking_optional component) ((r) II requires))
(state ((p)) ((sut) (busy . false)) ((r) (busy . false)))
<external>.p.e -> ...
... -> sut.p.e
sut.r.e -> ...
... -> <external>.r.e
... <- <external>.r.return
sut.r.return <- ...
(state ((p)) ((sut) (busy . true)) ((r) (busy . true)))
(trail "p.e" "r.e" "r.return")
test/all/deadlock_blocking_optional/deadlock_blocking_optional.dzn:52:3: error: deadlock
<deadlock>
(state ((p)) ((sut) (busy . true)) ((r) (busy . true)))
test/all/deadlock_blocking_optional/deadlock_blocking_optional.dzn:52:3: error: deadlock
(trail "<deadlock>")
(labels "p.e" "r.cb")
(eligible "r.cb")
