
Contract I
+-------------+-------------------------+--------------------------+
| Function    | State variables written | Conditions on msg.sender |
+-------------+-------------------------+--------------------------+
| constructor |                      [] |                       [] |
+-------------+-------------------------+--------------------------+

Contract C
+----------------+-------------------------+--------------------------+
| Function       | State variables written | Conditions on msg.sender |
+----------------+-------------------------+--------------------------+
| f              |                      [] |                       [] |
| publicTarget   |                      [] |                       [] |
| internalTarget |                      [] |                       [] |
+----------------+-------------------------+--------------------------+

