Definition: *atc-value-optionp-rules*
(defconst *atc-value-optionp-rules* '((:e value-optionp) value-optionp-when-valuep))