On peut trace les lectures et les écritures en pile (dans l'emplacement réservé pour t) on le fait pour un temporaire. Une écriture en pile est inutile si dans toute trace d'exécution elle n'est jamais suivie directement d'une lecture en pile. Cela revient à l'élimination des moves superflues.