/* Commandline execution:
 *		civl verify scoping.cvl
 * */
#include <civlc.h>

void main() {
  int x = 0;
  
  for (int i = 0; i < 5; i++) {
    int x = i + 1;
    x++;
    $assert(x == i + 2);
  }
  $assert(x == 0);
}