Definition: *atc-exec-expr-call-or-pure-rules*
(defconst *atc-exec-expr-call-or-pure-rules* '(exec-expr-call-or-pure-when-pure exec-expr-call-or-pure-when-call (:e expr-kind) (:e expr-call->fun) (:e expr-call->args)))