
Contract C
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| m        |        ['m'] |
+----------+--------------+

Function f()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| a        |        ['a'] |
| i        |           [] |
| b        |           [] |
| C.m      |        ['m'] |
+----------+--------------+
