Definition: *atc-exec-fun-rules*
(defconst *atc-exec-fun-rules* '(exec-fun-open (:e fun-info->params) (:e fun-info->result) (:e fun-info->body)))