New formula : Cryptoverif 1.19

Add new formula for cryptoverif =)