Chaque temporaire
d
k
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
)).