@@
statement S1;
@@

  S1
+ E = NULL;