@@
statement S;
fresh identifier A;
@@

- if (foo()) S
+ S