Scope is a key concept for Paddle refactoring. Every variable belongs to a scope, and when scope is destroyed, all variables in this scope should be destroyed.

Details about scope should be discussed in design doc PR #2548.