model: compliance_refusal_livelock
h.hello
w.hello
w.return
h.return
w.world
<non-compliance>
