model: deadlock_optional_out_only
<deadlock>
