model: determinism1
i.e
i.return
i.e
<non-deterministic>
