Definition: *atc-value-result-fix-rules*
(defconst *atc-value-result-fix-rules* '(value-result-fix-when-valuep))