protected void recordConditionalBranch(PcodeOp op) {
		RBranch branch = (RBranch) Objects.requireNonNull(branches.get(op));

		final JitVal cond;
		if (op instanceof ExitPcodeOp) {
			cond = JitFailVal.INSTANCE;
		}
		else {
			Varnode condVar = getConditionalBranchPredicate(op);
			cond = state.getVar(condVar, reason);
		}

		dfm.notifyOp(new JitCBranchOp(op, branch, cond));
	}
Record a conditional branch op into the use-def graph

<p>
While we can lookup the {@link Branch} target as in
{@link #executeBranch(PcodeOp, PcodeFrame)}, we must still obtain the predicate's definition
and use it.

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