private static Varnode eillimnateCarryOp(PcodeOp pcodeOp, Varnode[] values,
			AddressFactory addrFactory, TaskMonitor monitor) throws CancelledException {
		if (values[0].isConstant()) {
			VarnodeOperation op = flipInputs(pcodeOp, values);
			pcodeOp = op.getPCodeOp();
		}
		PcodeOp twosCompOp =
			new PcodeOp(pcodeOp.getSeqnum(), PcodeOp.INT_2COMP,
				new Varnode[] { pcodeOp.getInput(1) }, getNewUnique(addrFactory,
					pcodeOp.getInput(1).getSize()));
		Varnode twosCompValue =
			simplify(twosCompOp, new Varnode[] { values[1] }, addrFactory, monitor);

		PcodeOp lessThanOp =
			new PcodeOp(pcodeOp.getSeqnum(), PcodeOp.INT_LESSEQUAL, new Varnode[] {
				twosCompOp.getOutput(), pcodeOp.getInput(0) }, pcodeOp.getOutput());
		return simplify(lessThanOp, new Varnode[] { twosCompValue, values[1] }, addrFactory,
			monitor);
	}
Generate simplified operation
@param pcodeOp pcode operation
@param values values associated with pcodeOp inputs
@return operation output result or simplification of an operation.
Ghidra/Features/Base/src/main/java/ghidra/util/state/ResultsState.java