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

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

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

Contract C4
+-------------------+-------------------------+--------------------------+
| Function          | State variables written | Conditions on msg.sender |
+-------------------+-------------------------+--------------------------+
| hasArgs           |                      [] |                       [] |
| hasReturns        |                      [] |                       [] |
| hasArgsAndReturns |                      [] |                       [] |
+-------------------+-------------------------+--------------------------+

Contract C5
+--------------+-------------------------+--------------------------+
| Function     | State variables written | Conditions on msg.sender |
+--------------+-------------------------+--------------------------+
| payableFunc  |                      [] |                       [] |
| externalFunc |                      [] |                       [] |
| publicFunc   |                      [] |                       [] |
| internalFunc |                      [] |                       [] |
| privateFunc  |                      [] |                       [] |
| pureFunc     |                      [] |                       [] |
| viewFunc     |                      [] |                       [] |
| abstractFunc |                      [] |                       [] |
+--------------+-------------------------+--------------------------+

Contract C6
+---------------+-------------------------+--------------------------+
| Function      | State variables written | Conditions on msg.sender |
+---------------+-------------------------+--------------------------+
| abstractFunc  |                      [] |                       [] |
| abstractFunc2 |                      [] |                       [] |
+---------------+-------------------------+--------------------------+

Contract C7
+---------------+-------------------------+--------------------------+
| Function      | State variables written | Conditions on msg.sender |
+---------------+-------------------------+--------------------------+
| abstractFunc3 |                      [] |                       [] |
+---------------+-------------------------+--------------------------+

Contract C8
+---------------+-------------------------+--------------------------+
| Function      | State variables written | Conditions on msg.sender |
+---------------+-------------------------+--------------------------+
| abstractFunc3 |                      [] |                       [] |
| abstractFunc  |                      [] |                       [] |
| abstractFunc2 |                      [] |                       [] |
| payableFunc   |                      [] |                       [] |
| externalFunc  |                      [] |                       [] |
| publicFunc    |                      [] |                       [] |
| internalFunc  |                      [] |                       [] |
| privateFunc   |                      [] |                       [] |
| pureFunc      |                      [] |                       [] |
| viewFunc      |                      [] |                       [] |
| abstractFunc  |                      [] |                       [] |
| abstractFunc  |                      [] |                       [] |
| abstractFunc2 |                      [] |                       [] |
| abstractFunc3 |                      [] |                       [] |
+---------------+-------------------------+--------------------------+

