model: determinism_out
w.world
<non-deterministic>
