Macro proverif_expr

proverif_expr!() { /* proc-macro */ }