((/taspi/code/build/build-term.lisp::orderly-cons (nil nil nil nil (cond) nil nil) (nil nil ((atom l) (< (cdr (het (first-taxon x) taxon-index-alist)) (cdr (het (first-taxon (car l)) taxon-index-alist))) t) nil nil nil nil) (nil nil nil (hons hons hons) nil nil nil) ((x nil x l) nil (car) nil (recursive-call) nil nil) ((l x taxon-index-alist) nil (cdr) nil nil nil nil) ((l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/build/build-term.lisp::orderly-append (nil nil nil (cond) nil nil nil) (nil nil ((atom l1) t) nil nil nil nil) ((l2) nil nil nil (orderly-cons) nil nil) ((taxon-index-alist) nil (car) nil (recursive-call) nil nil) ((l1 l2 taxon-index-alist) nil (cdr) nil nil nil nil) ((l1) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/build/build-term.lisp::build-term-helper (nil nil nil (cond) nil nil nil) (nil nil ((atom required-subtrees) t) nil nil nil nil) (nil nil nil (let) (orderly-append) nil nil) ((ans taxon-index-alist (x (build-term-helper (car required-subtrees) (subtrees-implying (car required-subtrees) (cdr required-subtrees)) full-taxa-list-tree taxon-index-alist nil))) nil nil (btree-to-fringe) nil nil (recursive-call)) ((outstanding-taxa full-taxa-list-tree full-taxa-list-tree taxon-index-alist) nil nil (q-and-c2 subtrees-not-implying) (orderly-cons) nil nil) ((outstanding-taxa x ans taxon-index-alist) nil (car car cdr) nil nil nil nil) ((required-subtrees required-subtrees required-subtrees) nil nil nil nil nil nil)) (/taspi/code/build/build-term.lisp::build-term-top (nil nil nil (let*) nil nil nil) (nil nil nil ((full-taxa-list-tree (build-taxa-list-tree taxa-list))) (if) nil nil) ((nil) nil (taxon-index-alist bdd-fringes-sorted consp) nil (if) nil nil) ((bdd-fringes-sorted) nil (taxa-list-to-taxon-index quote) (member-gen) (sort-bdd-fringes if) nil nil) ((taxa-list bdd-fringes full-taxa-list-tree taxon-index-alist t not-possible-to-create-tree-from-fringes) nil (cdr quote) (and) nil nil (build-term-helper)) ((bdd-fringes-sorted full-taxa-list-tree taxon-index-alist nil not-possible-to-create-tree-from-fringes) nil (q-no-conflicts-list car cdr) (qs-subset-list) nil nil nil) ((bdd-fringes-sorted bdd-fringes-sorted bdd-fringes-sorted) nil (cdr car) nil nil nil nil)))