Conditional backward branch: allow empty stack on stack merging.