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

Contract VM
+--------------+-------------------------+--------------------------+
| Function     | State variables written | Conditions on msg.sender |
+--------------+-------------------------+--------------------------+
| expectRevert |                      [] |                       [] |
| expectRevert |                      [] |                       [] |
+--------------+-------------------------+--------------------------+

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

