error: component compliance_determinism_optional is non-deterministic
model: compliance_determinism_optional
h.hello
w.hello
w.return
h.return
w.world
w.bye
w.cruel
w.return
<non-deterministic>
