error: deadlock in model deadlock_blocking_optional
model: deadlock_blocking_optional
p.e
r.e
r.return
<deadlock>
