
Contract T
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

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