@Override public void visit(ArrayLengthInstruction insn) { assign( Expr.unary(UnaryOperation.LENGTH, Expr.var(insn.getArray().getIndex())), insn.getReceiver()); }