edirect 2.00
proverif 1.88.1 (new formula)

Closes #1168.