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