
Contract C
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

Function normalLoopBlockBody()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function normalLoopExprBody()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function normalLoopNoBody()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |           [] |
| i        |        ['i'] |
+----------+--------------+
Function loopNoPre()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function loopNoCond()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function loopNoPost()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function loopNoPreCond()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function loopNoPrePost()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function loopNoCondPost()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function loopNoPreCondPost()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
+----------+--------------+
Function loopNoPreCondPostBody()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+
