Definition: *atc-limit-rules*
(defconst *atc-limit-rules* '(not-zp-of-limit-variable not-zp-of-limit-minus-const))