((/centaur/misc/osets-witnessing.lisp::nonsubset-witness (nil nil nil nil (if) nil nil) ((nil) nil (empty) nil (if) nil nil) ((x) nil (head) (in recursive-call) nil nil nil) ((y y x) nil (head tail) 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)) (/centaur/misc/osets-witnessing.lisp::intersectp-witness (nil nil nil nil (if) nil nil) ((nil) nil (empty) nil (if) nil nil) ((x) nil (head) (in recursive-call) nil nil nil) ((y x y) nil (head tail) 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)) (/centaur/misc/osets-witnessing.lisp::osets-unequal-witness (nil nil nil (or) nil nil nil) (nil nil nil (nonsubset-witness nonsubset-witness) nil nil nil) ((x y y 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) (nil nil nil nil nil nil nil)) (/centaur/misc/osets-witnessing.lisp::nonempty-witness (nil nil nil nil (if) nil nil) ((nil) nil (empty head) 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) (nil nil nil nil nil nil nil)))