Lorsqu'on utilise le critère doublon en mode nié, il n'y a pas de mémorisation à faire, et donc le code qui la prépare dans le cas normal n'a pas à être inséré car il ne sert à rien. Optimisation epsilonesque en soi, mais qui ouvre la voie à la détection de corps de boucles vide non vues sinon.