
Contract Scope
+--------------+-------------------------+--------------------------+
| Function     | State variables written | Conditions on msg.sender |
+--------------+-------------------------+--------------------------+
| nested_scope |                      [] |                       [] |
| if_scope     |                      [] |                       [] |
| while_scope  |                      [] |                       [] |
| for_scope    |                      [] |                       [] |
+--------------+-------------------------+--------------------------+

