insn.changeResultType(newResultType, newLocal);
insn.changeResultType(newResultType, newLocal);
insn.changeResultType(newResultType, newLocal);
insn.changeResultType(newResultType, newLocal);
insn.changeResultType(newResultType, newLocal);
insn.changeResultType(newResultType, newLocal);
insn.changeResultType(newResultType, newLocal);
insn.changeResultType(newResultType, newLocal);