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

