(IDENTITY-CLAUSE-PROCESSOR)
(APPLY-FOR-DEFEVALUATOR)
(NULL-FAIL-HINT-EV)
(EVAL-LIST-KWOTE-LST)
(TRUE-LIST-FIX-EV-LST)
(EV-COMMUTES-CAR)
(EV-LST-COMMUTES-CDR)
(NULL-FAIL-HINT-EV-CONSTRAINT-0)
(NULL-FAIL-HINT-EV-CONSTRAINT-1)
(NULL-FAIL-HINT-EV-CONSTRAINT-2)
(NULL-FAIL-HINT-EV-CONSTRAINT-3)
(NULL-FAIL-HINT-EV-CONSTRAINT-4)
(NULL-FAIL-HINT-EV-CONSTRAINT-5)
(NULL-FAIL-HINT-EV-CONSTRAINT-6)
(NULL-FAIL-HINT-EV-CONSTRAINT-7)
(NULL-FAIL-HINT-EV-CONSTRAINT-8)
(NULL-FAIL-HINT-EV-DISJOIN-CONS)
(NULL-FAIL-HINT-EV-DISJOIN-WHEN-CONSP)
(NULL-FAIL-HINT-EV-DISJOIN-ATOM
 (1 1 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-8))
 )
(NULL-FAIL-HINT-EV-DISJOIN-APPEND
 (23 23 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-8))
 (23 23 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-2))
 )
(NULL-FAIL-HINT-EV-CONJOIN-CONS)
(NULL-FAIL-HINT-EV-CONJOIN-WHEN-CONSP)
(NULL-FAIL-HINT-EV-CONJOIN-ATOM
 (1 1 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-8))
 )
(NULL-FAIL-HINT-EV-CONJOIN-APPEND
 (23 23 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-8))
 (23 23 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-2))
 )
(NULL-FAIL-HINT-EV-CONJOIN-CLAUSES-CONS
 (100 50 (:DEFINITION DISJOIN))
 (50 50 (:DEFINITION DISJOIN2))
 (7 7 (:REWRITE NULL-FAIL-HINT-EV-DISJOIN-ATOM))
 (5 5 (:REWRITE NULL-FAIL-HINT-EV-CONJOIN-ATOM))
 )
(NULL-FAIL-HINT-EV-CONJOIN-CLAUSES-WHEN-CONSP
 (24 24 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-8))
 (24 24 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-2))
 (18 9 (:DEFINITION DISJOIN))
 (9 9 (:REWRITE NULL-FAIL-HINT-EV-DISJOIN-ATOM))
 (9 9 (:DEFINITION DISJOIN2))
 )
(NULL-FAIL-HINT-EV-CONJOIN-CLAUSES-ATOM
 (1 1 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-8))
 )
(NULL-FAIL-HINT-EV-CONJOIN-CLAUSES-APPEND
 (65 65 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-8))
 (65 65 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-2))
 (24 12 (:DEFINITION DISJOIN))
 (12 12 (:REWRITE NULL-FAIL-HINT-EV-DISJOIN-ATOM))
 (12 12 (:DEFINITION DISJOIN2))
 )
(IDENTITY-CLAUSE-PROCESSOR-CORRECT)
(FAIL-CLAUSE-PROCESSOR)
(FAIL-CLAUSE-PROCESSOR-CORRECT
 (6 1 (:DEFINITION PSEUDO-TERM-LISTP))
 (3 1 (:DEFINITION ALISTP))
 (2 2 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:TYPE-PRESCRIPTION PSEUDO-TERMP))
 (1 1 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (1 1 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-8))
 (1 1 (:REWRITE NULL-FAIL-HINT-EV-CONSTRAINT-3))
 )
