Definition: *atc-push-frame-rules*
(defconst *atc-push-frame-rules* '(push-frame-of-one-empty-scope push-frame-of-one-nonempty-scope))