Optimisation du code compilé:

{{{
interdire_scripts(sinon(X,'C')) ---> sinon(interdire_scripts(X), C2
}}}

où {{{C2}}} est le résultat de l'application de {{{interdire_scripts}}} sur {{{C}}}} lors de la compilation.

Note: l'équivalence est fausse si {{{X}}} est un script, mais comme il n'avait rien à faire là, tant pis pour lui.