They cannot be in the stack or buffer since the stack and buffer always remain in order; they cannot be in registers by the precondition R1 / for Right-Arc transitions.
(l, r) must already have been added.