
Contract ERC20
+-----------+-------------------------+--------------------------+
| Function  | State variables written | Conditions on msg.sender |
+-----------+-------------------------+--------------------------+
| balanceOf |                      [] |                       [] |
+-----------+-------------------------+--------------------------+

Contract C
+----------------------------+-------------------------+--------------------------+
| Function                   | State variables written | Conditions on msg.sender |
+----------------------------+-------------------------+--------------------------+
| tryCatchFunctionCall       |                      [] |                       [] |
| tryCatchContractDeployment |                      [] |                       [] |
+----------------------------+-------------------------+--------------------------+

