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).