Recognize a true list of pseudo-variables.
;; A true list of pseudo-variables (defund pseudo-var-listp (pseudo-vars) (declare (xargs :guard t)) (if (atom pseudo-vars) (equal pseudo-vars nil) (and (pseudo-varp (first pseudo-vars)) (pseudo-var-listp (rest pseudo-vars)))))
