0(1) element: null
1(2) element: PyWhileStatement
2(3,6) READ ACCESS: c1
3(4) element: PyStatementList. Condition: c1:true
4(5) element: PyAssignmentStatement
5(1) WRITE ACCESS: x
6(7) element: PyAssignmentStatement
7(8) WRITE ACCESS: y
8(9) element: PyWhileStatement
9(10,16) READ ACCESS: c2
10(11) element: PyStatementList. Condition: c2:true
11(12) element: PyAssignmentStatement
12(13) WRITE ACCESS: a
13(18) element: PyBreakStatement
14(15) element: PyAssignmentStatement
15(8) WRITE ACCESS: b
16(17) element: PyAssignmentStatement
17(18) WRITE ACCESS: c
18(19) element: PyWhileStatement
19(20,30) READ ACCESS: c3
20(21) element: PyStatementList. Condition: c3:true
21(22) element: PyAssignmentStatement
22(23) WRITE ACCESS: m
23(24) element: PyIfStatement
24(25,28) READ ACCESS: m
25(26) element: PyStatementList. Condition: m:true
26(27) ASSERTTYPE ACCESS: m
27(32) element: PyBreakStatement
28(29) element: PyAssignmentStatement
29(18) WRITE ACCESS: n
30(31) element: PyAssignmentStatement
31(32) WRITE ACCESS: o
32() element: null