error: invariant violation in model variant_blocking_out
model: variant_blocking_out
h.hello
w.hello
w.return
w.cruel
<invariant>
