((/taspi/code/build/build-term-guards.lisp::build-term-top-guard-t (nil nil nil nil (if) nil nil) (nil nil (quote) (build-term-top) nil nil nil) ((bdd-fringes taxa-list bad-fringes-or-taxa-list-for-build-term) nil (int-symlist valid-bdd-list not) (<= good-depths subset-list) nil nil nil) ((taxa-list bdd-fringes bdd-fringes taxa-list) (2) (len build-taxa-list-tree) (btrees-to-fringes member-gen) nil nil nil) ((taxa-list taxa-list bdd-fringes nil bdd-fringes) nil (build-taxa-list-tree) nil nil nil nil) ((taxa-list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))