Definition: *atc-misc-rewrite-rules*
(defconst *atc-misc-rewrite-rules* '(car-cons cdr-cons compustate-fix-when-compustatep heap-fix-when-heapp mv-nth-of-cons omap::assoc-of-update value-list-fix-of-cons))