((/centaur/4v-sexpr/svarmap.lisp::svar-assoc (nil nil nil nil (if) nil nil) ((nil) nil (atom) (or) nil nil nil) ((svarmap) nil nil (and recursive-call) nil nil nil) ((svar) nil (consp cdr) (cond) nil nil nil) ((svarmap) nil (car (equal svar (cadar svarmap)) (equal svar (cddar svarmap))) nil nil nil nil) ((svarmap) nil nil (cons cons) nil nil nil) ((t nil) nil (caar caar) nil nil nil nil)) (/centaur/4v-sexpr/svarmap.lisp::aig-svar-cons-val-alistp (nil nil nil (or) nil nil nil) (nil nil (atom) nil nil nil nil) ((x) nil (consp consp atom not atom not recursive-call) nil nil nil nil) (nil nil (car cdar cadar booleanp cddar booleanp cdr) nil nil nil nil) ((x x x x x) nil (cadar cddar) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/svarmap.lisp::svarmap-vals (nil nil nil nil (if) nil nil) ((nil) nil (atom) nil (if) nil nil) ((svarmap) nil (atom recursive-call) nil (list*) nil nil) (nil nil (car cdr cadar cddar recursive-call) nil nil nil nil) ((svarmap svarmap svarmap svarmap) nil (cdr) nil nil nil nil) ((svarmap) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/svarmap.lisp::good-svarmap (nil nil nil (and) nil nil nil) (nil nil (aig-svar-cons-val-alistp) (let) nil nil nil) ((svarmap) nil ((keys (alist-keys svarmap))) nil (and) nil nil) (nil nil (vals not not not) nil nil nil nil) (nil nil (svarmap-vals hons-dups-p hons-dups-p) (member-equal) nil nil nil) ((svarmap keys vals nil vals) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/svarmap.lisp::sig-al-to-svar-al1 (nil nil nil nil (if) nil nil) ((nil) nil (atom) (b*) nil nil nil) ((al) nil nil nil (hons-acons) nil ((rest (sig-al-to-svar-al1 (cdr al) svarmap)))) (nil nil ((when (atom (car al))) look (when (not look)) svars vals car car) nil (hons-acons) nil nil) ((rest rest svars vals rest) nil (cdr faig-fix cdr cdr) (hons-get) nil nil nil) ((svarmap look svars vals) nil (caar cdar) nil nil nil nil) ((al al) nil nil nil nil nil nil)) (/centaur/4v-sexpr/svarmap.lisp::svarmap-fix (nil nil nil nil (if) nil nil) ((svarmap nil) nil (good-svarmap) nil nil nil nil) ((svarmap) 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/4v-sexpr/svarmap.lisp::sig-al-to-svar-al (nil nil nil (sig-al-to-svar-al1) nil nil nil) ((al) nil nil nil nil (mbe) nil) ((:logic :exec svarmap) nil (svarmap-fix) nil nil nil nil) ((svarmap) 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)))