fixed avatar to proverif bugs when dealing with unexpected conditions and...

fixed avatar to proverif bugs when dealing with unexpected conditions and added multiple private channel encryption function for multiple private channels