Definition: *atc-exit-scope-rules*
(defconst *atc-exit-scope-rules* '(exit-scope-of-enter-scope exit-scope-of-add-var))