
Contract C
+----------+-------------------------+----------------------------+
| Function | State variables written |   Conditions on msg.sender |
+----------+-------------------------+----------------------------+
| f        |                      [] | ['msg.sender.balance > 0'] |
+----------+-------------------------+----------------------------+

