+ queue_not_empty . (#x:semantics-provides-unblocked-out)