public JitVal getVar(Varnode vn) {
		return state.getVar(vn, Reason.EXECUTE_READ);
	}
Get the latest definition of the given varnode, synthesizing ops is required.

<p>
NOTE: May produce phi nodes that need additional inter-block analysis

@see JitDataFlowModel#analyzeInterblock(Collection)
@see JitDataFlowState#getVar(AddressSpace, JitVal, int, boolean, Reason)
@param vn the varnode
@return the latest definition for the block analyzed
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitDataFlowBlockAnalyzer.java