((/centaur/aig/induction.lisp::check-property (nil nil nil nil (b*) nil nil) (nil nil (fast-alist-free) ((assign (hons-shrink-alist (car inputs) (hons-shrink-alist curr-st nil)))) nil (recursive-call) nil) ((assign updates prop next-st) nil ((when (atom (cdr inputs))) next-st cdr) nil nil nil nil) ((inputs) nil nil (aig-eval-alist) (b*) nil nil) (((res (aig-eval prop assign)) res updates assign) nil (fast-alist-free) nil nil nil nil) ((assign) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/aig/induction.lisp::check-property-strong (nil nil nil nil (if) nil nil) ((t) nil (atom) nil (b*) nil nil) ((inputs) nil (fast-alist-free) ((assign (hons-shrink-alist (car inputs) (hons-shrink-alist curr-st nil)))) nil (recursive-call) nil) ((assign updates prop next-st) nil (next-st cdr) ((when (not (aig-eval prop assign)))) nil nil nil) ((nil inputs) nil (fast-alist-free) (aig-eval-alist) nil nil nil) ((assign updates assign) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))