| 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,31) 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(33) element: PyBreakStatement |
| 28(29) ASSERTTYPE ACCESS: m |
| 29(30) element: PyAssignmentStatement |
| 30(18) WRITE ACCESS: n |
| 31(32) element: PyAssignmentStatement |
| 32(33) WRITE ACCESS: o |
| 33() element: null |
