(PFCS::CONSTRAINT-WFP
 (7 2 (:REWRITE PFCS::DEFINITIONP-WHEN-DEFINITION-OPTIONP))
 (2 2 (:REWRITE PFCS::DEFINITION-LISTP-WHEN-NOT-CONSP))
 (1 1 (:TYPE-PRESCRIPTION PFCS::DEFINITION-OPTIONP))
 (1 1 (:REWRITE PFCS::DEFINITION-OPTIONP-OF-LOOKUP-DEFINITION))
 )
(PFCS::BOOLEANP-OF-CONSTRAINT-WFP)
(PFCS::CONSTRAINT-WFP-OF-CONSTRAINT-FIX-CONSTR
 (12 2 (:REWRITE PFCS::DEFINITIONP-WHEN-DEFINITION-OPTIONP))
 (3 1 (:REWRITE PFCS::CONSTRAINT-FIX-WHEN-CONSTRAINTP))
 (2 2 (:TYPE-PRESCRIPTION PFCS::DEFINITION-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION PFCS::CONSTRAINTP))
 (2 2 (:REWRITE PFCS::DEFINITION-OPTIONP-OF-LOOKUP-DEFINITION))
 )
(PFCS::CONSTRAINT-WFP-CONSTRAINT-EQUIV-CONGRUENCE-ON-CONSTR)
(PFCS::CONSTRAINT-WFP-OF-DEFINITION-LIST-FIX-DEFS
 (12 2 (:REWRITE PFCS::DEFINITIONP-WHEN-DEFINITION-OPTIONP))
 (4 1 (:REWRITE PFCS::DEFINITION-LIST-FIX-WHEN-DEFINITION-LISTP))
 (2 2 (:TYPE-PRESCRIPTION PFCS::DEFINITION-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION PFCS::DEFINITION-LISTP))
 (2 2 (:REWRITE PFCS::DEFINITION-OPTIONP-OF-LOOKUP-DEFINITION))
 (1 1 (:REWRITE PFCS::DEFINITION-LISTP-WHEN-NOT-CONSP))
 )
(PFCS::CONSTRAINT-WFP-DEFINITION-LIST-EQUIV-CONGRUENCE-ON-DEFS)
(PFCS::CONSTRAINT-LIST-WFP
 (3 3 (:REWRITE PFCS::DEFINITION-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE PFCS::CONSTRAINT-LISTP-WHEN-NOT-CONSP))
 )
(PFCS::BOOLEANP-OF-CONSTRAINT-LIST-WFP)
(PFCS::CONSTRAINT-LIST-WFP-OF-CONSTRAINT-LIST-FIX-CONSTRS
 (129 26 (:REWRITE PFCS::CONSTRAINT-LIST-FIX-WHEN-CONSTRAINT-LISTP))
 (33 33 (:REWRITE PFCS::CONSTRAINT-LISTP-WHEN-NOT-CONSP))
 (28 7 (:REWRITE PFCS::CONSTRAINT-LISTP-OF-CDR-WHEN-CONSTRAINT-LISTP))
 (3 1 (:REWRITE PFCS::CONSTRAINT-FIX-WHEN-CONSTRAINTP))
 (2 2 (:TYPE-PRESCRIPTION PFCS::CONSTRAINTP))
 )
(PFCS::CONSTRAINT-LIST-WFP-CONSTRAINT-LIST-EQUIV-CONGRUENCE-ON-CONSTRS)
(PFCS::CONSTRAINT-LIST-WFP-OF-DEFINITION-LIST-FIX-DEFS
 (16 4 (:REWRITE PFCS::DEFINITION-LIST-FIX-WHEN-DEFINITION-LISTP))
 (4 4 (:REWRITE PFCS::DEFINITION-LISTP-WHEN-NOT-CONSP))
 )
(PFCS::CONSTRAINT-LIST-WFP-DEFINITION-LIST-EQUIV-CONGRUENCE-ON-DEFS)
(PFCS::DEFINITION-WFP)
(PFCS::BOOLEANP-OF-DEFINITION-WFP)
(PFCS::DEFINITION-WFP-OF-DEFINITION-FIX-DEF
 (8 1 (:REWRITE PFCS::DEFINITION-FIX-WHEN-DEFINITIONP))
 (5 1 (:REWRITE PFCS::DEFINITIONP-WHEN-DEFINITION-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION PFCS::DEFINITIONP))
 (2 2 (:TYPE-PRESCRIPTION PFCS::DEFINITION-OPTIONP))
 (2 1 (:REWRITE PFCS::DEFINITION-OPTIONP-WHEN-DEFINITIONP))
 )
(PFCS::DEFINITION-WFP-DEFINITION-EQUIV-CONGRUENCE-ON-DEF)
(PFCS::DEFINITION-WFP-OF-DEFINITION-LIST-FIX-DEFS
 (4 1 (:REWRITE PFCS::DEFINITION-LIST-FIX-WHEN-DEFINITION-LISTP))
 (2 2 (:TYPE-PRESCRIPTION PFCS::DEFINITION-LISTP))
 (1 1 (:REWRITE PFCS::DEFINITION-LISTP-WHEN-NOT-CONSP))
 )
(PFCS::DEFINITION-WFP-DEFINITION-LIST-EQUIV-CONGRUENCE-ON-DEFS)
(PFCS::DEFINITION-LIST-WFP-AUX
 (6 3 (:DEFINITION PFCS::DEFINITION-LIST-WFP-AUX))
 (5 5 (:REWRITE PFCS::DEFINITION-LISTP-WHEN-NOT-CONSP))
 )
(PFCS::BOOLEANP-OF-DEFINITION-LIST-WFP-AUX)
(PFCS::DEFINITION-LIST-WFP-AUX-OF-DEFINITION-LIST-FIX-REV-DEFS
 (171 29 (:REWRITE PFCS::DEFINITION-LIST-FIX-WHEN-DEFINITION-LISTP))
 (56 14 (:REWRITE PFCS::DEFINITION-LISTP-OF-CDR-WHEN-DEFINITION-LISTP))
 (43 43 (:REWRITE PFCS::DEFINITION-LISTP-WHEN-NOT-CONSP))
 )
(PFCS::DEFINITION-LIST-WFP-AUX-DEFINITION-LIST-EQUIV-CONGRUENCE-ON-REV-DEFS)
(PFCS::DEFINITION-LIST-WFP)
(PFCS::BOOLEANP-OF-DEFINITION-LIST-WFP)
(PFCS::DEFINITION-LIST-WFP-OF-DEFINITION-LIST-FIX-DEFS)
(PFCS::DEFINITION-LIST-WFP-DEFINITION-LIST-EQUIV-CONGRUENCE-ON-DEFS)
(PFCS::SYSTEM-WFP)
(PFCS::BOOLEANP-OF-SYSTEM-WFP)
(PFCS::SYSTEM-WFP-OF-SYSTEM-FIX-SYS)
(PFCS::SYSTEM-WFP-SYSTEM-EQUIV-CONGRUENCE-ON-SYS)
