model: determinism0
i.e
<non-deterministic>
