0(1) element: null
1(2) element: PyMatchStatement
2(3) WRITE ACCESS: x
3(4) element: PyExpressionStatement
4(5) READ ACCESS: y
5(6) element: PyExpressionStatement
6(7) READ ACCESS: z
7() element: null