@@
statement S;
@@
  if (x) S // if S1 else S2
+ else foo();