Chaque temporaire dk interfère avec les temporaires vivants autres que s et ceux de dest. Au total, le sous-graphe induit par une telle instruction est dest × (out \ ({s} È dest)).