Сравнение proverif-2.04 с proverif-9999

Спасибо!