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