Definition: *atc-lognot-sint-rules*
(defconst *atc-lognot-sint-rules* '(lognot-sint-of-0 lognot-sint-of-1))