Theorems about dumb-negate-lit.
Theorem: pseudo-termp-of-dumb-negate-lit
(defthm pseudo-termp-of-dumb-negate-lit (implies (pseudo-termp term) (pseudo-termp (dumb-negate-lit term))))