Definition: *atc-exec-expr-when-pure-rules*
(defconst *atc-exec-expr-when-pure-rules* '(exec-expr-when-pure (:e expr-purep) (:e expr-pure-limit)))
