private boolean needsFallthrough(JitBlock block) {
			if (block.branchesFrom.isEmpty() && block.branchesOut.isEmpty()) {
				return true;
			}
			if (block.branchesFrom.size() == 1) {
				return JitPassage.hasFallthrough(block.branchesFrom.getFirst().from());
			}
			if (block.branchesOut.size() == 1) {
				return JitPassage.hasFallthrough(block.branchesOut.getFirst().from());
			}
			throw new AssertionError();
		}
Notify the splitter of the given branches before analysis

<p>
The splitter immediately indexes the given branches by source and target op.

@param branches the branches
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitControlFlowModel.java