@@
type T;
//fresh identifier y;
@@

  foo(...) {
   T
+  y,
   x;
    ...
  }