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