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