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

Function f()
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+
