Pourquoi se fatiguer à extraire des invariants de boucles avec #SET, quand il...

Pourquoi se fatiguer à extraire des invariants de boucles avec #SET, quand il existe une fonction PHP qui calcule ce qu'il faut ?