Add formula for Proverif 1.88.1