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

Contract VendingMachine
+-------------------------------------+-------------------------+--------------------------+
| Function                            | State variables written | Conditions on msg.sender |
+-------------------------------------+-------------------------+--------------------------+
| err0                                |                      [] |                       [] |
| err1                                |                      [] |                       [] |
| err2                                |                      [] |                       [] |
| err3                                |                      [] |                       [] |
| err4                                |                      [] |                       [] |
| err5                                |                      [] |                       [] |
| err6                                |                      [] |                       [] |
| slitherConstructorConstantVariables |                ['CMAX'] |                       [] |
+-------------------------------------+-------------------------+--------------------------+

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

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

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

