@@
identifier i;
@@

assert(i);
- if (!i)
-   return ...;