private static byte getArrayElementTibFromTib(OPT_Instruction s) {
private static DefUseEffect getArrayElementTibFromTib(OPT_Instruction s) {
  private static byte getArrayElementTibFromTib(OPT_Instruction s) {    if (CF_TIB) {      OPT_Operand tibOp = Unary.getVal(s);      if(tibOp.isTIBConstant()) {        OPT_TIBConstantOperand tib = tibOp.asTIBConstant();        Move.mutate(s, REF_MOVE,                    Unary.getClearResult(s),                    new OPT_TIBConstantOperand(tib.value.asArray().getElementType()));        return MOVE_REDUCED;      }    }    return UNCHANGED;  }