Add formula for Proverif 1.88pl1