
Contract T
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| g        |                      [] |                       [] |
+----------+-------------------------+--------------------------+

Contract T2
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| h        |                      [] |                       [] |
+----------+-------------------------+--------------------------+

