example/example.imp


1
2
3
4
5
6
7
8
9
10
11
12
13

y := 0;

var x := 5 in

  while x < 10 and true do 
    x := (x + 1);
  end;

  y := x;
  
end;

z := 5;