verify: I: check: deadlock: ok
verify: I: check: unreachable: ok
verify: I: check: livelock: ok
verify: I: check: deterministic: ok
verify: determinism1: check: deterministic: fail
error: component determinism1 is non-deterministic
model: determinism1
i.e
i.return
i.e
<non-deterministic>
verify: determinism1: check: illegal: ok
verify: determinism1: check: deadlock: ok
verify: determinism1: check: unreachable: ok
verify: determinism1: check: livelock: ok
verify: determinism1: check: compliance: ok
