0(1) element: null
1(2) element: PyWhileStatement
2(3,11) READ ACCESS: foo
3(4) element: PyStatementList. Condition: foo:true
4(5) element: PyIfStatement
5(6,9) READ ACCESS: condition
6(7) element: PyStatementList. Condition: condition:true
7(8) ASSERTTYPE ACCESS: condition
8(11) element: PyReturnStatement
9(10) ASSERTTYPE ACCESS: condition
10(1) element: PyPrintStatement
11() element: null
