@Override public Instr cloneForInlining(InlinerInfo ii) { return new ToAryInstr( (Variable) result.cloneForInlining(ii), array.cloneForInlining(ii), (BooleanLiteral) dontToAryArrays.cloneForInlining(ii)); }