Definition: *atc-exec-expr-when-call-rules*
(defconst *atc-exec-expr-when-call-rules* '(exec-expr-when-call-value-open exec-expr-when-call-novalue-open (:e expr-kind) (:e expr-call->fun) (:e expr-call->args) (:e expr-list-purep) (:e expr-list-pure-limit)))
