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

Function f()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| x        |        ['x'] |
+----------+--------------+
