error: livelock in model livelock_hello
model: livelock_hello
h.hello
<loop>
w.hello
w.world
w.return
<livelock>
