((/centaur/gl/gtests.lisp::mk-g-bdd-ite (nil nil nil (let) nil nil nil) (nil nil nil (let) ((bdd (bfrfix bdd))) nil nil) (((test (hf bdd))) nil (then else hyp) nil (cond) nil nil) (nil nil (bfrfix (th test) (fh test) t) nil nil (mbe mbe) nil) ((:logic :exec then :logic :exec else hyp then else) nil (gobj-fix gobj-fix) nil (mk-g-ite) nil nil) ((then else then else) nil (mk-g-boolean) nil nil nil nil) ((bdd) nil nil nil nil nil nil)) (/centaur/gl/gtests.lisp::gobj-nonnil-unknown-obj (nil nil nil nil (if) nil nil) (nil nil (atom) nil (mv) nil nil) ((x nil x) nil (hf hf (g-concrete obj) (g-boolean bool) (g-number &) (g-apply & &) (g-var &) (g-ite test then else) &) nil nil nil nil) ((nil) nil nil (b*) (if mv mv mv mv mv mv) nil nil) ((x t nil nil nil nil x x nil) nil (hf hf hf hf hf hf hf hf hf hf hf hf) (((mv cc uc oc) (gobj-nonnil-unknown-obj test hyp))) (cond) nil nil) ((nil bool nil t nil nil t nil t t nil) nil (cc-t cc-nil (and (fh uc) cc-t) (and (fh uc) cc-nil) t) nil (if) nil nil) ((obj t nil) nil (th fh) (recursive-call recursive-call b*) nil nil nil)) (/centaur/gl/gtests.lisp::gtests (nil nil nil (let) nil nil nil) (nil nil ((test (mbe :logic (gobj-fix test) :exec test))) nil (mv-let) nil nil) (nil nil (hyp) (nonnil gobj-nonnil-unknown-obj) (list*) nil nil) ((unknown obj test hyp nonnil unknown obj) nil (bfrfix) nil nil nil nil) ((hyp) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/gl/gtests.lisp::gtestsp (nil nil nil nil nil nil (and)) (nil nil (consp consp bfr-p bfr-p gobjectp) nil nil nil nil) ((tests) nil (cdr car cadr cddr) nil nil nil nil) ((tests tests tests tests) 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)) (/centaur/gl/gtests.lisp::gtests-nonnil (nil nil (car) nil nil nil nil) ((tests) 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) (nil nil nil nil nil nil nil)) (/centaur/gl/gtests.lisp::gtests-unknown (nil nil (cadr) nil nil nil nil) ((tests) 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) (nil nil nil nil nil nil nil)) (/centaur/gl/gtests.lisp::gtests-obj (nil nil (cddr) nil nil nil nil) ((tests) 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) (nil nil nil nil nil nil nil)))