L'expression Mem t1 ne commute pas avec Move (t2, Call (f, [])): l'appel à f peut, a priori, écrire en mémoire et changer la valeur à l'adresse t1.