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

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