@Override
	protected T evaluateBinaryOp(Program program, PcodeOp op, BinaryOpBehavior binOp,
			Map<Varnode, T> already) {
		Varnode in1Var = op.getInput(0);
		Varnode in2Var = op.getInput(1);
		T in1 = evaluateVarnode(program, in1Var, already);
		T in2 = evaluateVarnode(program, in2Var, already);
		return arithmetic.binaryOp(op, in1, in2);
	}
Construct an evaluator

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