Small changes to proverif code