
Contract Scope
+----------+--------------+
| Variable | Dependencies |
+----------+--------------+
+----------+--------------+

Function nested_scope()
+-----------+--------------+
| Variable  | Dependencies |
+-----------+--------------+
| a         |           [] |
| a_scope_0 |           [] |
| a_scope_1 |           [] |
+-----------+--------------+
Function if_scope()
+-----------+--------------+
| Variable  | Dependencies |
+-----------+--------------+
| a         |           [] |
| a_scope_0 |           [] |
+-----------+--------------+
Function while_scope()
+-----------+--------------+
| Variable  | Dependencies |
+-----------+--------------+
| a         |           [] |
| a_scope_0 |           [] |
+-----------+--------------+
Function for_scope()
+-----------+---------------+
| Variable  |  Dependencies |
+-----------+---------------+
| a         |            [] |
| a_scope_0 | ['a_scope_0'] |
| a_scope_1 |            [] |
+-----------+---------------+
