@@
identifier i;
identifier func;
@@

- int i;
  <... when != i
- for (i = ...; i < ...; i++)  f(...);
+   f(1);
  ...>