@Override
	protected void branchToAddress(PcodeOp op, Address target) {
		branchesForThisStep.add(new SExtBranch(op, takeTargetContext(target)));
	}
{@inheritDoc}

<p>
This creates an {@link ExtBranch} 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 either adds it to the seed queue or converts it to an {@link IntBranch} record.

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