(C2C::IDENT-FROM-PARAM-DECLON
 (2 2 (:REWRITE C$::PARAM-DECLONP-WHEN-MEMBER-EQUAL-OF-PARAM-DECLON-LISTP))
 )
(C2C::IDENT-OPTIONP-OF-IDENT-FROM-PARAM-DECLON
 (8 1 (:REWRITE C$::IDENTP-WHEN-IDENT-OPTIONP))
 (3 3 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (1 1 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 )
(C2C::PARAM-DECLON-TO-DECLON
 (12 3 (:REWRITE C$::INITER-OPTIONP-WHEN-INITERP))
 (6 2 (:REWRITE C$::INITERP-WHEN-INITER-OPTIONP))
 (5 5 (:TYPE-PRESCRIPTION C$::INITERP))
 (4 4 (:REWRITE C$::PARAM-DECLONP-WHEN-MEMBER-EQUAL-OF-PARAM-DECLON-LISTP))
 (2 2 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 (1 1 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-NOT-CONSP))
 )
(C2C::BOOLEANP-OF-PARAM-DECLON-TO-DECLON.SUCCESS
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 )
(C2C::DECLONP-OF-PARAM-DECLON-TO-DECLON.DECLON
 (10 2 (:REWRITE C$::DECLONP-WHEN-DECLON-OPTIONP))
 (7 1 (:REWRITE C$::DECLON-OPTIONP-WHEN-DECLONP))
 (4 4 (:REWRITE C$::DECLONP-WHEN-MEMBER-EQUAL-OF-DECLON-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C$::DECLON-OPTIONP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 )
(C2C::PARAM-DECLON-LIST-REMOVE-PARAM-BY-IDENT
 (4 4 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (2 2 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(C2C::BOOLEANP-OF-PARAM-DECLON-LIST-REMOVE-PARAM-BY-IDENT.SUCCESS
 (121 21 (:REWRITE C$::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (40 40 (:TYPE-PRESCRIPTION C$::PARAM-DECLON-LISTP))
 (40 40 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (20 20 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 )
(C2C::PARAM-DECLON-LISTP-OF-PARAM-DECLON-LIST-REMOVE-PARAM-BY-IDENT.NEW-PARAMS
 (164 22 (:REWRITE C$::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (32 32 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (16 1 (:REWRITE SUBSETP-OF-CONS))
 (13 13 (:REWRITE SUBSETP-TRANS2))
 (13 13 (:REWRITE SUBSETP-TRANS))
 (10 10 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (10 10 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (8 2 (:REWRITE SUBSETP-CAR-MEMBER))
 (7 2 (:REWRITE C$::PARAM-DECLONP-WHEN-MEMBER-EQUAL-OF-PARAM-DECLON-LISTP))
 (5 5 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C2C::PARAM-DECLONP-OF-PARAM-DECLON-LIST-REMOVE-PARAM-BY-IDENT.REMOVED-PARAM
 (121 21 (:REWRITE C$::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (40 40 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (24 24 (:REWRITE C$::PARAM-DECLONP-WHEN-MEMBER-EQUAL-OF-PARAM-DECLON-LISTP))
 (20 20 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 )
(C2C::SPECIALIZE-FUNDEF
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (3 3 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C$::BLOCK-ITEM-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C$::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 )
(C2C::BOOLEANP-OF-SPECIALIZE-FUNDEF.FOUND
 (24 3 (:REWRITE C$::FUNDEF-FIX-WHEN-FUNDEFP))
 (15 3 (:REWRITE C$::FUNDEFP-WHEN-FUNDEF-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C$::FUNDEFP))
 (6 6 (:TYPE-PRESCRIPTION C$::FUNDEF-OPTIONP))
 (6 3 (:REWRITE C$::FUNDEF-OPTIONP-WHEN-FUNDEFP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 )
(C2C::FUNDEFP-OF-SPECIALIZE-FUNDEF.NEW-FUNDEF
 (24 3 (:REWRITE C$::FUNDEF-FIX-WHEN-FUNDEFP))
 (23 5 (:REWRITE C$::FUNDEFP-WHEN-FUNDEF-OPTIONP))
 (11 4 (:REWRITE C$::FUNDEF-OPTIONP-WHEN-FUNDEFP))
 (9 9 (:TYPE-PRESCRIPTION C$::FUNDEF-OPTIONP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 )
(C2C::SPECIALIZE-EXT-DECLON
 (10 10 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 )
(C2C::BOOLEANP-OF-SPECIALIZE-EXT-DECLON.FOUND
 (5 1 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EXT-DECLONP))
 (2 2 (:TYPE-PRESCRIPTION C$::EXT-DECLONP))
 (2 2 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 (2 1 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EMPTY))
 )
(C2C::EXT-DECLONP-OF-SPECIALIZE-EXT-DECLON.NEW-EXTDECL
 (5 1 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EXT-DECLONP))
 (4 4 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 (2 1 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EMPTY))
 )
(C2C::SPECIALIZE-TRANS-ITEM
 (8 8 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 )
(C2C::BOOLEANP-OF-SPECIALIZE-TRANS-ITEM.FOUND
 (5 1 (:REWRITE C$::TRANS-ITEM-FIX-WHEN-TRANS-ITEMP))
 (2 2 (:TYPE-PRESCRIPTION C$::TRANS-ITEMP))
 (2 2 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 (2 2 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 )
(C2C::TRANS-ITEMP-OF-SPECIALIZE-TRANS-ITEM.NEW-ITEM
 (5 1 (:REWRITE C$::TRANS-ITEM-FIX-WHEN-TRANS-ITEMP))
 (4 4 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 (2 2 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 )
(C2C::SPECIALIZE-TRANS-ITEM-LIST
 (16 16 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (8 8 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (8 8 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (6 6 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(C2C::TRANS-ITEM-LISTP-OF-SPECIALIZE-TRANS-ITEM-LIST
 (68 2 (:REWRITE C$::TRANS-ITEM-LIST-FIX-WHEN-TRANS-ITEM-LISTP))
 (47 16 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (25 10 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (25 2 (:REWRITE SUBSETP-OF-CONS))
 (24 2 (:REWRITE C$::TRANS-ITEM-LISTP-OF-CDR-WHEN-TRANS-ITEM-LISTP))
 (21 10 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (20 2 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (14 14 (:REWRITE SUBSETP-TRANS2))
 (14 14 (:REWRITE SUBSETP-TRANS))
 (5 5 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (1 1 (:REWRITE C$::CONSP-OF-TRANS-ITEM-LIST-FIX))
 )
(C2C::SPECIALIZE-TRANSUNIT
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 )
(C2C::TRANSUNITP-OF-SPECIALIZE-TRANSUNIT)
(C2C::SPECIALIZE-FILEPATH-TRANSUNIT-MAP
 (2 1 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 )
(C2C::FILEPATH-TRANSUNIT-MAPP-OF-SPECIALIZE-FILEPATH-TRANSUNIT-MAP
 (9 9 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (2 2 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (1 1 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (1 1 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 )
(C2C::SPECIALIZE-FILEPATH-TRANSUNIT-MAP
 (26 1 (:DEFINITION C2C::SPECIALIZE-FILEPATH-TRANSUNIT-MAP))
 (10 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (9 3 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (5 3 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (3 3 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (2 2 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (2 2 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (1 1 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (1 1 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C2C::SPECIALIZE-TRANSUNIT-ENSEMBLE
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 )
(C2C::TRANSUNIT-ENSEMBLEP-OF-SPECIALIZE-TRANSUNIT-ENSEMBLE)
(C2C::SPECIALIZE-CODE-ENSEMBLE
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 )
(C2C::CODE-ENSEMBLEP-OF-SPECIALIZE-CODE-ENSEMBLE)
(C2C::SPECIALIZE-PROCESS-INPUTS)
(C2C::MAYBE-MSGP-OF-SPECIALIZE-PROCESS-INPUTS.ER?
 (20 4 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (14 2 (:REWRITE C$::EXPR-OPTIONP-WHEN-EXPRP))
 (8 8 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C$::EXPR-OPTIONP))
 (2 2 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C2C::CODE-ENSEMBLEP-OF-SPECIALIZE-PROCESS-INPUTS.CODE
 (10 2 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (7 1 (:REWRITE C$::EXPR-OPTIONP-WHEN-EXPRP))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C$::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::EXPRP))
 )
(C2C::SYMBOLP-OF-SPECIALIZE-PROCESS-INPUTS.CONST-NEW$
 (10 2 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (7 1 (:REWRITE C$::EXPR-OPTIONP-WHEN-EXPRP))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C$::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::EXPRP))
 )
(C2C::IDENTP-OF-SPECIALIZE-PROCESS-INPUTS.TARGET$
 (12 2 (:REWRITE C$::IDENTP-WHEN-IDENT-OPTIONP))
 (10 2 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (8 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IDENTP))
 (7 1 (:REWRITE C$::EXPR-OPTIONP-WHEN-EXPRP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C$::IDENT-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::EXPRP))
 (2 2 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 )
(C2C::IDENTP-OF-SPECIALIZE-PROCESS-INPUTS.PARAM$
 (12 2 (:REWRITE C$::IDENTP-WHEN-IDENT-OPTIONP))
 (10 2 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (8 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IDENTP))
 (7 1 (:REWRITE C$::EXPR-OPTIONP-WHEN-EXPRP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C$::IDENT-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::EXPRP))
 (2 2 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 )
(C2C::EXPRP-OF-SPECIALIZE-PROCESS-INPUTS.CONST
 (20 4 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (14 2 (:REWRITE C$::EXPR-OPTIONP-WHEN-EXPRP))
 (8 8 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C$::EXPR-OPTIONP))
 )
(C2C::SPECIALIZE-GEN-EVERYTHING)
(C2C::PSEUDO-EVENT-FORMP-OF-SPECIALIZE-GEN-EVERYTHING)
(C2C::SPECIALIZE-PROCESS-INPUTS-AND-GEN-EVERYTHING)
(C2C::MAYBE-MSGP-OF-SPECIALIZE-PROCESS-INPUTS-AND-GEN-EVERYTHING.ER?
 (5 1 (:REWRITE MAYBE-MSGP-WHEN-MSGP))
 (2 2 (:TYPE-PRESCRIPTION MSGP))
 (2 2 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C2C::PSEUDO-EVENT-FORMP-OF-SPECIALIZE-PROCESS-INPUTS-AND-GEN-EVERYTHING.EVENT)
(C2C::SPECIALIZE-FN)
(C2C::BOOLEANP-OF-SPECIALIZE-FN.ERP)
(C2C::PSEUDO-EVENT-FORMP-OF-SPECIALIZE-FN.EVENT)
