Definition: *atc-exec-expr-pure-list-rules*
(defconst *atc-exec-expr-pure-list-rules* '(exec-expr-pure-list-of-nil exec-expr-pure-list-when-consp))