@@
identifier ptr;
//statement S;
@@

- if (!ptr) 
- { 
- ... 
- } // could be S instead of { ... }