verify: repro_iface_local_scope: check: deadlock: ok
verify: repro_iface_local_scope: check: unreachable: ok
verify: repro_iface_local_scope: check: livelock: ok
verify: repro_iface_local_scope: check: deterministic: fail
error: interface repro_iface_local_scope is unobservably non-deterministic
model: repro_iface_local_scope
bye
<non-deterministic>
