@Override
	protected void branchInternal(PcodeOp op, PcodeFrame frame, int relative) {
		int tgtSeq = op.getSeqnum().getTime() + relative;
		if (tgtSeq == frame.getCode().size()) {
			if (termNop == null) {
				termNop = new NopPcodeOp(at, tgtSeq);
			}
			branchesForThisStep.add(new SIntBranch(op, termNop, false));
		}
		else {
			PcodeOp to = frame.getCode().get(op.getSeqnum().getTime() + relative);
			branchesForThisStep.add(new SIntBranch(op, rewrite(to), false));
		}
	}
{@inheritDoc}

<p>
This create an {@link IntBranch} record and collects it for this instruction step. The record
will first be used to check for fall through. Then, the passage decoder is notified, which
collects the records to later passage-wide control flow analysis.

@see #checkFallthroughAndAccumulate(PcodeProgram)
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/decode/DecoderExecutor.java