@@
idexpression *E;
statement S1;
@@

if (E != NULL) S1
+ else E = NULL;