
Contract A
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
+----------+-------------------------+--------------------------+

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

Contract Test
+------------------------+-------------------------+--------------------------+
| Function               | State variables written | Conditions on msg.sender |
+------------------------+-------------------------+--------------------------+
| ether_unit             |                      [] |                       [] |
| time_unit              |                      [] |                       [] |
| block_and_transactions |                      [] |                       [] |
| abi_encode             |                      [] |                       [] |
| error_handling         |                      [] |                       [] |
| math_and_crypto        |                      [] |                       [] |
| address_related        |                      [] |                       [] |
| return_addr            |                      [] |                       [] |
| address_edge_case      |                      [] |                       [] |
| contract_related       |                      [] |                       [] |
| type_related           |                      [] |                       [] |
+------------------------+-------------------------+--------------------------+

