@Override
	public JitDataFlowArithmetic getArithmetic() {
		return arithmetic;
	}
Construct a state

@param context the analysis context
@param dfm the data flow model whose use-def graph to populate
@param block the block being analyzed (to which generated phi ops belong)
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitDataFlowState.java