Definition: *atc-init-value-to-value-rules*
(defconst *atc-init-value-to-value-rules* '(init-value-to-value-when-single))