Reachability checkFallthroughAndAccumulate() {
			return executor.checkFallthroughAndAccumulate(program);
		}
Check whether the result falls through, accumulate its instructions and ops, and apply
any control-flow effects.

@return the reachability of the fall-through flow
@see DecoderExecutor#checkFallthroughAndAccumulate(PcodeProgram)
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/decode/DecoderForOneStride.java