model: livelock_unfold
h.hello
<loop>
w.hello
w.world
w.return
<livelock>
