(header ((client) livelock_recurse provides) ((sut) livelock_recurse interface))
(state ((client)) ((sut)))
test/all/livelock_recurse/livelock_recurse.dzn:33:5: error: livelock
<external>.hello -> ...
... -> sut.hello
<loop>
<livelock>
(state ((client)) ((sut)))
test/all/livelock_recurse/livelock_recurse.dzn:33:5: error: livelock
(trail "hello" "<loop>" "<livelock>")
(labels "hello")
(eligible)
