(RSTOBJ::FANCY-WORSEGUY)
(RSTOBJ::L0
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(RSTOBJ::L1)
(RSTOBJ::L2
 (99 11 (:REWRITE RSTOBJ::L0))
 (55 52 (:REWRITE DEFAULT-CAR))
 (54 51 (:REWRITE DEFAULT-CDR))
 (26 12 (:REWRITE G-DIFF-S))
 (8 8 (:REWRITE G-WORSEGUY-UNLESS-EQUAL))
 )
(RSTOBJ::FANCY-WORSEGUY-FINDS-COUNTEREXAMPLE
 (104 101 (:REWRITE DEFAULT-CAR))
 (98 95 (:REWRITE DEFAULT-CDR))
 (80 24 (:REWRITE RSTOBJ::G-DELETE-KEYS-OF-S-DIFF))
 (54 11 (:DEFINITION MEMBER-EQUAL))
 (24 24 (:REWRITE S-DIFF-S))
 (9 9 (:REWRITE G-WORSEGUY-UNLESS-EQUAL))
 )
(RSTOBJ::FANCY-WORSEGUY-NOT-AMONG-KEYS
 (47 41 (:REWRITE DEFAULT-CAR))
 (41 35 (:REWRITE DEFAULT-CDR))
 (10 10 (:REWRITE G-WORSEGUY-UNLESS-EQUAL))
 (10 2 (:REWRITE RSTOBJ::G-DELETE-KEYS-OF-S-DIFF))
 (6 6 (:REWRITE G-DIFF-S))
 (2 2 (:REWRITE S-DIFF-S))
 )
(RSTOBJ::FANCY-WORSEGUY-UNLESS-EQUAL
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-CAR))
 )
