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

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