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