@Override public void visit(CastInstruction insn) { assign(Expr.var(insn.getValue().getIndex()), insn.getReceiver()); }