Fixed Scope Checking for Nested Scopes