Have some variables that are maybescopes that were
assigned values from other maybescope variables.
Now that semantic analysis of the function is
complete, we can finalize this by turning off
maybescope for array elements that cannot be scope.
| =>|| |
|maybe||maybe|| =>|| scope|| scope|
|scope||scope|| =>|| scope|| scope|
|scope||maybe|| =>|| scope|| scope|
|maybe||scope|| =>|| scope|| scope|
|- ||- || =>|| - || - |
|- ||maybe|| =>|| - || - |
|- ||scope|| =>|| error|| error|
|maybe||- || =>|| scope|| - |
|scope||- || =>|| scope|| - |
|array|| array of variables that were assigned to from maybescope variables|