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

Contract C
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| f        |      ['storA', 'storB'] |                       [] |
| f        |                      [] |                       [] |
+----------+-------------------------+--------------------------+

