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