(header ((client) livelock_interface0 provides) ((sut) livelock_interface0 interface))
(state ((client)) ((sut)))
test/all/livelock_interface0/livelock_interface0.dzn:31:5: error: livelock
<loop>
<livelock>
(state ((client)) ((sut)))
test/all/livelock_interface0/livelock_interface0.dzn:31:5: error: livelock
(trail "<loop>" "<livelock>")
(labels "e" "inevitable")
(eligible)
