(FIND-EV-COUNTERPART)
(FIND-MATCHING-RULE)
(EV-FIND-FNCALL-RULE-IN-LEMMAS)
(EV-FIND-FNCALL-RULE)
(EV-FIND-FNCALL-GENERIC-RULE)
(EV-FIND-VARIABLE-RULE)
(EV-FIND-NONSYMBOL-ATOM-RULE)
(EV-FIND-BAD-FNCALL-RULE)
(EV-FIND-QUOTE-RULE)
(EV-FIND-LAMBDA-RULE)
(EV-LST-FIND-ATOM-RULE)
(EV-LST-FIND-CONS-RULE)
