@@
identifier x;
@@

- if(x > 0) { return ...; }