@Override
	protected T evaluateAbstract(Program program, AddressSpace space, T offset, int size,
			Map<Varnode, T> already) {
		long concrete = arithmetic.toLong(offset, Purpose.LOAD);
		Address address = space.getAddress(concrete);
		// There is no actual varnode to have a defining op, so this will be a leaf
		return evaluateMemory(translateMemory(program, address), size);
	}
Construct an evaluator

@param arithmetic the arithmetic for computing p-code op outputs
Ghidra/Debug/ProposedUtils/src/main/java/ghidra/pcode/eval/ArithmeticVarnodeEvaluator.java