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

Function f()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| c        |        ['c'] |
| i        |        ['i'] |
| j        |        ['j'] |
| k        |        ['k'] |
+----------+--------------+
