((/make-event/defrefine.lisp::constraint (nil nil nil nil (mv-let) nil nil) (nil nil (sym) (constraint-info) (cond) nil nil) ((x fn wrld) nil ((eq x *unknown-constraints*) sym t) nil nil nil nil) ((x) nil (conjoin) nil (er) nil nil) ((hard Unable to determine constraints on ~x0!  Presumably this ~
                 function was introduced with ~
                 define-trusted-clause-processor; see :DOC ~
                 define-trusted-clause-processor. x) nil (quote) nil nil nil nil) ((recursive-call) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/make-event/defrefine.lisp::snoc (nil nil nil nil (if) nil nil) (nil nil (endp list) (cons) nil nil nil) ((x e) nil (car) (recursive-call) nil nil nil) ((x e) nil (cdr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/make-event/defrefine.lisp::create-alist-from-func-list (nil nil nil nil (if) nil nil) ((nil) nil (endp) nil (acons) nil nil) ((lst) nil (first second recursive-call) nil nil nil nil) (nil nil (first first rest) nil nil nil nil) ((lst lst lst) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))