((/misc/beta-reduce.lisp::pseudo-termp-key (nil nil nil nil (if) nil nil) ((arg) nil (pseudo-term-listp pseudo-termp) nil nil nil nil) ((term term) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/beta-reduce.lisp::beta-reduce-term (nil nil (declare) nil nil nil nil) (nil nil nil (xargs) nil nil nil) ((:guard) nil nil (pseudo-termp-key) nil nil nil) ((arg term) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/beta-reduce.lisp::lambda-expr-p (nil nil nil nil (and) nil nil) (nil nil (consp consp) (equal) nil nil nil) ((term) (3) (car len) nil nil nil nil) ((term) nil (car) nil nil nil nil) ((term) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))