@@
expression E1;
statement S;
@@

- if(E1)
- S