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

