Macro proverif_prop_expr

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