a/test/stmt-for.test.expected b/test/stmt-for.test.log
...
...
3
3
4
WHILE i < 5;
4
WHILE i < 5;
5
 DO
5
 DO
6
x := x / 2;
6
x := x / 2;
7
7
8
(i:=i+1);
8
((i:=i+1)-1);
9
END_WHILE
9
END_WHILE