@Override public void visit(ConstructInstruction insn) { assign(Expr.createObject(insn.getType()), insn.getReceiver()); }