reuse Symbolic Branching Instruction