error: deadlock in model deadlock_interface_determinism
model: deadlock_interface_determinism
world
<deadlock>
