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