start lbl_4 true i:=n, j:=0 lbl_18 (n <= 0) lbl_6_1 (1

start lbl_4 true i:=n, j:=0 lbl_18 (n <= 0) lbl_6_1 (1

start
true
i:=n, j:=0
(n <= 0)
lbl_4
(1 <= n)
(i <= 0)
(1 <= i)
lbl_6_1
true
lbl_7
true
j:=j-1
true
j:=j+1, tmp_1:=j
lbl_6
true
i:=i-1
(1 <= j)
lbl_13
(j <= 0)
j:=0
(j+1 <= n)
lbl_9
(n <= j)
j:=0
lbl_16
lbl_18
true
stop