return MOVE_FOLDED;
return DefUseEffect.MOVE_FOLDED;
  private static byte refAdd(OPT_Instruction s) {    if (CF_ADDR) {      canonicalizeCommutativeOperator(s);      OPT_Operand op2 = Binary.getVal2(s);      if (op2.isConstant() && !op2.isObjectConstant()) {        Address val2 = getAddressValue(op2);        OPT_Operand op1 = Binary.getVal1(s);        if (op1.isConstant() && !op1.isObjectConstant()) {          // BOTH CONSTANTS: FOLD          Address val1 = getAddressValue(op1);          Move.mutate(s, REF_MOVE, Binary.getClearResult(s), AC(val1.plus(val2.toWord().toOffset())));          return MOVE_FOLDED;        } else {          // ONLY OP2 IS CONSTANT: ATTEMPT TO APPLY AXIOMS          if (val2.isZero()) {                 // x + 0 == x            if (op1.isIntLike()) {              Unary.mutate(s, INT_2ADDRSigExt, Binary.getClearResult(s), Binary.getClearVal1(s));            } else {              Move.mutate(s, REF_MOVE, Binary.getClearResult(s), Binary.getClearVal1(s));            }            return MOVE_REDUCED;          }        }      }    }    return UNCHANGED;  }