New formula : Proverif 1.88.1