Les seuls registres vivants en sortie de G(B) sont dans la destination du multi-move, donc n'interfčrent pas. Ainsi G(B) est le graphe vide (ie. sans arcs, il comporte bien sūr des noeuds).