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