
Contract L1
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

Function f(uint256)
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| a        |           [] |
|          |           [] |
+----------+--------------+
Contract L1
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

Function f(uint256)
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| a        |           [] |
|          |           [] |
+----------+--------------+
Contract L2
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

Function f(bytes32)
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| a        |           [] |
|          |           [] |
+----------+--------------+
Contract L1
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

Function f(uint256)
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| a        |           [] |
|          |           [] |
+----------+--------------+
Contract L2
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

Function f(bytes32)
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
| a        |           [] |
|          |           [] |
+----------+--------------+
Contract C
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

