When recreating SeeC-Clang-mapped states, do not include local variables who are no longer in scope according to the program's source code. The allocas for these variables may still exist according to the unmapped state, but we should hide them to avoid confusing students.
When recreating SeeC-Clang-mapped states, do not include local variables who are no longer in scope according to the program's source code. The allocas for these variables may still exist according to the unmapped state, but we should hide them to avoid confusing students.