/* Commandline execution:
 *		civl verify for.cvl
 * */
void main() {
  int j = 0;
  int x, y;
  
  for (int i=0; i<10; i++) ;
  for (; j<10; j++) ;
  for(x=0, y=1; x<10; x++){
    y++;
  }
}