((/clause-processors/unify-subst.lisp::unify-ev-alist (nil nil nil nil (if) nil nil) ((nil) nil (atom) (cons) nil nil nil) ((x) nil nil (cons recursive-call) nil nil nil) ((al) nil (caar cdr) (unify-ev) nil nil nil) ((x al x) nil (cdar) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/unify-subst.lisp::pseudo-term-val-alistp (nil nil nil nil (if) nil nil) (nil nil (atom) (eq) (and) nil nil) ((x x nil) nil (consp pseudo-termp recursive-call) nil nil nil nil) (nil nil (car cdar cdr) nil nil nil nil) ((x x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/unify-subst.lisp::beta-reduce1 (nil nil nil (substitute-into-term) nil nil nil) (nil nil (caddar) (pairlis$) nil nil nil) ((x) nil (cadar cdr) nil nil nil nil) ((x x) 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)) (/clause-processors/unify-subst.lisp::lambdap (nil nil nil nil (and) nil nil) (nil nil (consp consp) (eq) nil nil nil) ((x) nil (car caar quote) nil nil nil nil) ((x x lambda) 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)) (/clause-processors/unify-subst.lisp::all-keys-bound (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((keys) nil nil (assoc-equal recursive-call) nil nil nil) ((alist alist) nil (car cdr) nil nil nil nil) ((keys keys) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) nil nil nil (/clause-processors/unify-subst.lisp::id-nest-ev-alist (nil nil nil nil (if) nil nil) ((nil) nil (atom) (cons) nil nil nil) ((x) nil nil (cons recursive-call) nil nil nil) ((al) nil (caar cdr) (id-nest-ev) nil nil nil) ((x al x) nil (cdar) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/unify-subst.lisp::nest-of-ids-meta (nil nil nil nil (mv-let) nil nil) (nil nil (ok) nil (simple-one-way-unify if) nil nil) ((subst *nest-of-ids* term nil ok term) nil (cdr) nil nil nil nil) (nil nil nil (assoc-equal) nil nil nil) ((subst) nil (quote) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))