@@
expression e;
statement S;
@@

- if (e) S
+ if (f(e)) S