[PRQ#59851] Orphan Request for proverif