| 0(1) element: null | |
| 1(2) element: PyAssignmentStatement | |
| 2(3) WRITE ACCESS: var | |
| 3(4) element: PyIfStatement | |
| 4(5) READ ACCESS: a | |
| 5(6,9) READ ACCESS: b | |
| 6(7) element: PyStatementList. Condition: a == b:true | |
| 7(8) element: PyAssignmentStatement | |
| 8(25) WRITE ACCESS: var | |
| 9(10) element: PyIfPartElif. Condition: a == b:false | |
| 10(11) READ ACCESS: aa | |
| 11(12,22) READ ACCESS: bb | |
| 12(13) element: PyStatementList. Condition: aa == bb:true | |
| 13(14) element: PyAssignmentStatement | |
| 14(15) READ ACCESS: same_changet_expression | |
| 15(16) WRITE ACCESS: bbb | |
| 16(17) element: PyIfStatement | |
| 17(18,25) READ ACCESS: bbb | |
| 18(19) element: PyStatementList. Condition: bbb:true | |
| 19(20) ASSERTTYPE ACCESS: bbb | |
| 20(21) element: PyAssignmentStatement | |
| 21(25) WRITE ACCESS: var | |
| 22(23) element: PyStatementList. Condition: aa == bb:false | |
| 23(24) element: PyAssignmentStatement | |
| 24(25) WRITE ACCESS: var | |
| 25(26) element: PyReturnStatement | |
| 26(27) READ ACCESS: var | |
| 27() element: null |