Definition: *atc-value-listp-rules*
(defconst *atc-value-listp-rules* '((:e value-listp) value-listp-of-cons))