More Scope Rules
Nested Block Structure
- No identifier may be declared more than once in the same block
- For every applied occ. of I in block B, must be a decl of I in B or in a block enclosing B. If there is more than one such decl, take the one in the nearest block