improve formula for proverif