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