
Contract C
+------------------+-------------------------+--------------------------+
| Function         | State variables written | Conditions on msg.sender |
+------------------+-------------------------+--------------------------+
| ifWithoutElse    |                   ['a'] |                       [] |
| ifWithElse       |                   ['a'] |                       [] |
| ifWithElseIf     |                   ['a'] |                       [] |
| ifWithElseIfElse |                   ['a'] |                       [] |
+------------------+-------------------------+--------------------------+

