public JitDataFlowArithmetic getArithmetic() {
		return arithmetic;
	}
Get the model's arithmetic that places p-code ops into the use-def graph

@return the arithmetic
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitDataFlowModel.java