(VL::VL-PORTDECL-TYPE-SET-SIGNED)
(VL::VL-WARNINGLIST-P-OF-VL-PORTDECL-TYPE-SET-SIGNED.WARNINGS
 (669 3 (:REWRITE VL::VL-MODELEMENT-FIX-WHEN-VL-MODELEMENT-P))
 (120 15 (:DEFINITION EQ))
 (43 9 (:REWRITE VL::VL-DATATYPE-UDIMS-WHEN-VL-USERTYPE))
 (43 9 (:REWRITE VL::VL-DATATYPE-UDIMS-WHEN-VL-ENUM))
 (42 21 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (24 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (24 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (24 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (24 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (24 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (24 3 (:REWRITE VL::VL-DATATYPE-FIX-WHEN-VL-DATATYPE-P))
 (21 21 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (21 21 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-SEQUENCE-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PROPERTY-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-LETDECL-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FINAL-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ELABTASK-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-COVERGROUP-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLASS-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CASSERTION-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-BIND-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSERTION-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (21 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (18 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (18 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GCLKDECL-P))
 (18 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DEFAULTDISABLE-P))
 (18 3 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLKDECL-P))
 (16 3 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (15 3 (:REWRITE VL::VL-DATATYPE-P-WHEN-VL-MAYBE-DATATYPE-P))
 (12 6 (:REWRITE VL::VL-DATATYPE-PDIMS-WHEN-VL-USERTYPE))
 (12 6 (:REWRITE VL::VL-DATATYPE-PDIMS-WHEN-VL-ENUM))
 (9 9 (:TYPE-PRESCRIPTION VL::VL-DATATYPE-P))
 (8 8 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-VARDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-TYPEDEF-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-TASKDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-SEQUENCE-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-PROPERTY-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-MODPORT-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-MODINST-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-MODELEMENT-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DATATYPE-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-LETDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-INITIAL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-IMPORT-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-GENVAR-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-GCLKDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-GATEINST-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-FWDTYPEDEF-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-FUNDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-FINAL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-ELABTASK-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-DPIIMPORT-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-DPIEXPORT-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-DEFAULTDISABLE-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-COVERGROUP-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-CLKDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-CLASS-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-CASSERTION-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-BIND-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-ASSIGN-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-ASSERTION-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-ALWAYS-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-ALIAS-P))
 (6 6 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (6 6 (:REWRITE VL::VL-TYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-TYPEDEFLIST-P))
 (6 6 (:REWRITE VL::VL-TASKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-TASKDECLLIST-P))
 (6 6 (:REWRITE VL::VL-SEQUENCE-P-WHEN-MEMBER-EQUAL-OF-VL-SEQUENCELIST-P))
 (6 6 (:REWRITE VL::VL-PROPERTY-P-WHEN-MEMBER-EQUAL-OF-VL-PROPERTYLIST-P))
 (6 6 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (6 6 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (6 6 (:REWRITE VL::VL-MODPORT-P-WHEN-MEMBER-EQUAL-OF-VL-MODPORTLIST-P))
 (6 6 (:REWRITE VL::VL-MODINST-P-WHEN-MEMBER-EQUAL-OF-VL-MODINSTLIST-P))
 (6 6 (:REWRITE VL::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (6 6 (:REWRITE VL::VL-LETDECL-P-WHEN-MEMBER-EQUAL-OF-VL-LETDECLLIST-P))
 (6 6 (:REWRITE VL::VL-INITIAL-P-WHEN-MEMBER-EQUAL-OF-VL-INITIALLIST-P))
 (6 6 (:REWRITE VL::VL-IMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-IMPORTLIST-P))
 (6 6 (:REWRITE VL::VL-GENVAR-P-WHEN-MEMBER-EQUAL-OF-VL-GENVARLIST-P))
 (6 6 (:REWRITE VL::VL-GCLKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-GCLKDECLLIST-P))
 (6 6 (:REWRITE VL::VL-GATEINST-P-WHEN-MEMBER-EQUAL-OF-VL-GATEINSTLIST-P))
 (6 6 (:REWRITE VL::VL-FWDTYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-FWDTYPEDEFLIST-P))
 (6 6 (:REWRITE VL::VL-FUNDECL-P-WHEN-MEMBER-EQUAL-OF-VL-FUNDECLLIST-P))
 (6 6 (:REWRITE VL::VL-FINAL-P-WHEN-MEMBER-EQUAL-OF-VL-FINALLIST-P))
 (6 6 (:REWRITE VL::VL-ELABTASK-P-WHEN-MEMBER-EQUAL-OF-VL-ELABTASKLIST-P))
 (6 6 (:REWRITE VL::VL-DPIIMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-DPIIMPORTLIST-P))
 (6 6 (:REWRITE VL::VL-DPIEXPORT-P-WHEN-MEMBER-EQUAL-OF-VL-DPIEXPORTLIST-P))
 (6 6 (:REWRITE VL::VL-DEFAULTDISABLE-P-WHEN-MEMBER-EQUAL-OF-VL-DEFAULTDISABLELIST-P))
 (6 6 (:REWRITE VL::VL-COVERGROUP-P-WHEN-MEMBER-EQUAL-OF-VL-COVERGROUPLIST-P))
 (6 6 (:REWRITE VL::VL-CLKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-CLKDECLLIST-P))
 (6 6 (:REWRITE VL::VL-CLASS-P-WHEN-MEMBER-EQUAL-OF-VL-CLASSLIST-P))
 (6 6 (:REWRITE VL::VL-CASSERTION-P-WHEN-MEMBER-EQUAL-OF-VL-CASSERTIONLIST-P))
 (6 6 (:REWRITE VL::VL-BIND-P-WHEN-MEMBER-EQUAL-OF-VL-BINDLIST-P))
 (6 6 (:REWRITE VL::VL-ASSIGN-P-WHEN-MEMBER-EQUAL-OF-VL-ASSIGNLIST-P))
 (6 6 (:REWRITE VL::VL-ASSERTION-P-WHEN-MEMBER-EQUAL-OF-VL-ASSERTIONLIST-P))
 (6 6 (:REWRITE VL::VL-ALWAYS-P-WHEN-MEMBER-EQUAL-OF-VL-ALWAYSLIST-P))
 (6 6 (:REWRITE VL::VL-ALIAS-P-WHEN-MEMBER-EQUAL-OF-VL-ALIASLIST-P))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 3 (:REWRITE VL::VL-MAYBE-DATATYPE-P-WHEN-VL-DATATYPE-P))
 (6 3 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (4 4 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (3 3 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (3 3 (:REWRITE VL::VL-TASKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-TASKDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-SEQUENCE-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-SEQUENCE-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-PROPERTY-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-PROPERTY-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (3 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (3 3 (:REWRITE VL::VL-MODPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-MODPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-MODINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-MODINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-LETDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-LETDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (3 3 (:REWRITE VL::VL-INITIAL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-INITIAL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (3 3 (:REWRITE VL::VL-GENVAR-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-GCLKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-FUNDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-FUNDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-FINAL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-FINAL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-ELABTASK-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-ELABTASK-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-DPIIMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-DPIIMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-DPIEXPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-DPIEXPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-DEFAULTDISABLE-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-COVERGROUP-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-COVERGROUP-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-CLKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-CLASS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-CLASS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-CASSERTION-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-CASSERTION-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-BIND-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-BIND-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-ASSERTION-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-ASSERTION-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-ALWAYS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-ALWAYS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::VL-ALIAS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL::VL-ALIAS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (3 3 (:REWRITE CONSP-BY-LEN))
 )
(VL::VL-DATATYPE-P-OF-VL-PORTDECL-TYPE-SET-SIGNED.NEW-TYPE
 (223 1 (:REWRITE VL::VL-MODELEMENT-FIX-WHEN-VL-MODELEMENT-P))
 (80 10 (:DEFINITION EQ))
 (33 8 (:REWRITE VL::VL-DATATYPE-UDIMS-WHEN-VL-USERTYPE))
 (33 8 (:REWRITE VL::VL-DATATYPE-UDIMS-WHEN-VL-ENUM))
 (26 13 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (13 13 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (13 13 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (13 3 (:REWRITE VL::VL-DATATYPE-P-WHEN-VL-MAYBE-DATATYPE-P))
 (12 6 (:REWRITE VL::VL-DATATYPE-PDIMS-WHEN-VL-USERTYPE))
 (12 6 (:REWRITE VL::VL-DATATYPE-PDIMS-WHEN-VL-ENUM))
 (8 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (8 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (8 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (8 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (8 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (8 1 (:REWRITE VL::VL-DATATYPE-FIX-WHEN-VL-DATATYPE-P))
 (7 2 (:REWRITE VL::VL-MAYBE-DATATYPE-P-WHEN-VL-DATATYPE-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-SEQUENCE-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PROPERTY-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-LETDECL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FINAL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ELABTASK-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-COVERGROUP-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLASS-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CASSERTION-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-BIND-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSERTION-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (6 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (6 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GCLKDECL-P))
 (6 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DEFAULTDISABLE-P))
 (6 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLKDECL-P))
 (5 5 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DATATYPE-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-VARDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TASKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SEQUENCE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PROPERTY-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-LETDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-INITIAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-IMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GENVAR-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GCLKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GATEINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FWDTYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FUNDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FINAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ELABTASK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIIMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIEXPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DEFAULTDISABLE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-COVERGROUP-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CLKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CLASS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BIND-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSIGN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALWAYS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALIAS-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (2 2 (:REWRITE VL::VL-TYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-TYPEDEFLIST-P))
 (2 2 (:REWRITE VL::VL-TASKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-TASKDECLLIST-P))
 (2 2 (:REWRITE VL::VL-SEQUENCE-P-WHEN-MEMBER-EQUAL-OF-VL-SEQUENCELIST-P))
 (2 2 (:REWRITE VL::VL-PROPERTY-P-WHEN-MEMBER-EQUAL-OF-VL-PROPERTYLIST-P))
 (2 2 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (2 2 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (2 2 (:REWRITE VL::VL-MODPORT-P-WHEN-MEMBER-EQUAL-OF-VL-MODPORTLIST-P))
 (2 2 (:REWRITE VL::VL-MODINST-P-WHEN-MEMBER-EQUAL-OF-VL-MODINSTLIST-P))
 (2 2 (:REWRITE VL::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE VL::VL-LETDECL-P-WHEN-MEMBER-EQUAL-OF-VL-LETDECLLIST-P))
 (2 2 (:REWRITE VL::VL-INITIAL-P-WHEN-MEMBER-EQUAL-OF-VL-INITIALLIST-P))
 (2 2 (:REWRITE VL::VL-IMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-IMPORTLIST-P))
 (2 2 (:REWRITE VL::VL-GENVAR-P-WHEN-MEMBER-EQUAL-OF-VL-GENVARLIST-P))
 (2 2 (:REWRITE VL::VL-GCLKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-GCLKDECLLIST-P))
 (2 2 (:REWRITE VL::VL-GATEINST-P-WHEN-MEMBER-EQUAL-OF-VL-GATEINSTLIST-P))
 (2 2 (:REWRITE VL::VL-FWDTYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-FWDTYPEDEFLIST-P))
 (2 2 (:REWRITE VL::VL-FUNDECL-P-WHEN-MEMBER-EQUAL-OF-VL-FUNDECLLIST-P))
 (2 2 (:REWRITE VL::VL-FINAL-P-WHEN-MEMBER-EQUAL-OF-VL-FINALLIST-P))
 (2 2 (:REWRITE VL::VL-ELABTASK-P-WHEN-MEMBER-EQUAL-OF-VL-ELABTASKLIST-P))
 (2 2 (:REWRITE VL::VL-DPIIMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-DPIIMPORTLIST-P))
 (2 2 (:REWRITE VL::VL-DPIEXPORT-P-WHEN-MEMBER-EQUAL-OF-VL-DPIEXPORTLIST-P))
 (2 2 (:REWRITE VL::VL-DEFAULTDISABLE-P-WHEN-MEMBER-EQUAL-OF-VL-DEFAULTDISABLELIST-P))
 (2 2 (:REWRITE VL::VL-COVERGROUP-P-WHEN-MEMBER-EQUAL-OF-VL-COVERGROUPLIST-P))
 (2 2 (:REWRITE VL::VL-CLKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-CLKDECLLIST-P))
 (2 2 (:REWRITE VL::VL-CLASS-P-WHEN-MEMBER-EQUAL-OF-VL-CLASSLIST-P))
 (2 2 (:REWRITE VL::VL-CASSERTION-P-WHEN-MEMBER-EQUAL-OF-VL-CASSERTIONLIST-P))
 (2 2 (:REWRITE VL::VL-BIND-P-WHEN-MEMBER-EQUAL-OF-VL-BINDLIST-P))
 (2 2 (:REWRITE VL::VL-ASSIGN-P-WHEN-MEMBER-EQUAL-OF-VL-ASSIGNLIST-P))
 (2 2 (:REWRITE VL::VL-ASSERTION-P-WHEN-MEMBER-EQUAL-OF-VL-ASSERTIONLIST-P))
 (2 2 (:REWRITE VL::VL-ALWAYS-P-WHEN-MEMBER-EQUAL-OF-VL-ALWAYSLIST-P))
 (2 2 (:REWRITE VL::VL-ALIAS-P-WHEN-MEMBER-EQUAL-OF-VL-ALIASLIST-P))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-TASKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-TASKDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-SEQUENCE-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-SEQUENCE-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-PROPERTY-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-PROPERTY-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-MODPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-MODPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-MODINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-MODINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-LETDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-LETDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-INITIAL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-INITIAL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-GENVAR-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-GCLKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-FUNDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-FUNDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-FINAL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-FINAL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-ELABTASK-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-ELABTASK-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-DPIIMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-DPIIMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-DPIEXPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-DPIEXPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-DEFAULTDISABLE-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-COVERGROUP-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-COVERGROUP-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-CLKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-CLASS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-CLASS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-CASSERTION-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-CASSERTION-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-BIND-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-BIND-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-ASSERTION-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-ASSERTION-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-ALWAYS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-ALWAYS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-ALIAS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-ALIAS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(VL::VL-ATTS-P-OF-REMOVE1-ASSOC-EQUAL
 (256 16 (:REWRITE VL::VL-ATTS-P-WHEN-NOT-CONSP))
 (173 17 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (147 1 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (100 17 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (84 84 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (84 84 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (76 19 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (51 2 (:REWRITE TRUE-LISTP-OF-CAR-WHEN-TRUE-LIST-LISTP))
 (48 8 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (47 1 (:DEFINITION TRUE-LIST-LISTP))
 (44 1 (:REWRITE STRINGP-OF-CAR-WHEN-STRING-LISTP))
 (38 38 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (38 38 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (38 38 (:TYPE-PRESCRIPTION ALISTP))
 (37 37 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (36 4 (:REWRITE ALISTP-OF-CDR))
 (34 17 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (34 17 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (34 2 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (31 31 (:REWRITE CONSP-BY-LEN))
 (31 2 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (30 30 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (23 11 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (22 22 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (20 20 (:REWRITE DEFAULT-CDR))
 (19 19 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (19 19 (:REWRITE ALISTP-WHEN-ATOM))
 (19 19 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (18 2 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (16 2 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (16 2 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (15 15 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (14 2 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (13 2 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (12 12 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (12 2 (:REWRITE VL::TRUE-LISTP-OF-CAR-WHEN-TRUE-LIST-LISTP))
 (12 2 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (11 11 (:REWRITE SET::IN-SET))
 (8 8 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (8 8 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (8 4 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (8 4 (:REWRITE VL::VL-COMMENTMAP-P-OF-CDR-WHEN-VL-COMMENTMAP-P))
 (8 2 (:REWRITE VL::STRING-LISTP-OF-CAR-WHEN-STRING-LIST-LISTP))
 (7 1 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (7 1 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (4 4 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (4 4 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (4 4 (:REWRITE VL::TRUE-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (4 1 (:REWRITE VL::VL-EXPR-P-OF-CDAR-WHEN-VL-KEYVALLIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-VARDECL-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-UDP-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-TYPEDEF-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-TASKDECL-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-PROGRAM-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-PORTDECL-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-PARAMDECL-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-PACKAGE-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-MODULE-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-MODPORT-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-MODINST-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-INTERFACEPORT-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-INTERFACE-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-GENVAR-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-GENELEMENT-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-GATEINST-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-FUNDECL-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-DPIIMPORT-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-CONFIG-ALIST-P))
 (4 1 (:REWRITE VL::STRINGP-OF-CAAR-WHEN-VL-CLASS-ALIST-P))
 (4 1 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-EXPR-P))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (2 2 (:REWRITE VL::TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-VARDECL-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-UDP-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-TYPEDEF-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-TASKDECL-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-PROGRAM-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-PORTDECL-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECL-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-PACKAGE-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-MODULE-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-MODPORT-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-MODINST-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-INTERFACEPORT-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-INTERFACE-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-GENVAR-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-GENELEMENT-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-GATEINST-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-FUNDECL-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-DPIIMPORT-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-CONFIG-ALIST-P))
 (2 2 (:REWRITE VL::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-CLASS-ALIST-P))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSET))
 (2 2 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL::STRING-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE FN-CHECK-DEF-FORMALS))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE TRUE-LIST-LISTP-OF-CDR-WHEN-TRUE-LIST-LISTP))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE VL::SYMBOL-LISTP-OF-CAR-WHEN-SYMBOL-LIST-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (1 1 (:REWRITE VL::VL-VARDECL-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-UDP-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-TYPEDEF-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-TASKDECL-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-PROGRAM-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-PORTDECL-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-PARAMDECL-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-PACKAGE-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-MODULE-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-MODPORT-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-MODINST-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-KEYVALLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-INTERFACEPORT-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-INTERFACE-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-GENVAR-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-GENELEMENT-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-GATEINST-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-FUNDECL-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-DPIIMPORT-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-CONFIG-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::VL-CLASS-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-MEMBER . 4))
 (1 1 (:REWRITE SUBSETP-MEMBER . 3))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 (1 1 (:REWRITE VL::STRING-LIST-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE MEMBER-WHEN-ATOM))
 (1 1 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 3))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 2))
 (1 1 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::VL-DATATYPE->SIGNEDP)
(VL::VL-DATATYPE->SIGNEDP-OF-VL-DATATYPE-FIX-X
 (12 6 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (8 1 (:REWRITE VL::VL-DATATYPE-FIX-WHEN-VL-DATATYPE-P))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (5 1 (:REWRITE VL::VL-DATATYPE-P-WHEN-VL-MAYBE-DATATYPE-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-DATATYPE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DATATYPE-P))
 (2 1 (:REWRITE VL::VL-MAYBE-DATATYPE-P-WHEN-VL-DATATYPE-P))
 )
(VL::VL-DATATYPE->SIGNEDP-VL-DATATYPE-EQUIV-CONGRUENCE-ON-X)
(VL::VL-PORTDECL-SIGN-1
 (584 12 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (466 45 (:REWRITE DEFAULT-CAR))
 (288 100 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (278 6 (:DEFINITION REMOVE1-ASSOC-EQUAL))
 (218 1 (:REWRITE SUBSETP-APPEND1))
 (215 90 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (193 38 (:REWRITE DEFAULT-CDR))
 (180 180 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (178 178 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (160 12 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (123 12 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (101 82 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (100 100 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (100 100 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (98 7 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (93 12 (:REWRITE ALISTP-WHEN-ATOM))
 (92 92 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (91 10 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (88 16 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (82 82 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (77 77 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (58 58 (:REWRITE CONSP-BY-LEN))
 (57 57 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (57 57 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (57 57 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (57 57 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (57 57 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (57 57 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (53 13 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (53 13 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (53 13 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (53 13 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (53 13 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (53 13 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (46 46 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (44 11 (:REWRITE SUBSETP-TRANS2))
 (36 6 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (32 16 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (31 1 (:REWRITE CAR-OF-APPEND))
 (29 3 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (29 3 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (27 1 (:REWRITE CONSP-APPEND))
 (26 26 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (26 26 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (20 20 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (20 6 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (18 18 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (16 16 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (16 16 (:REWRITE SET::IN-SET))
 (14 14 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (13 2 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (12 12 (:TYPE-PRESCRIPTION VL::VL-COMMENTMAP-P))
 (12 12 (:TYPE-PRESCRIPTION BINARY-APPEND-WITHOUT-GUARD))
 (12 12 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (12 6 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (12 6 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (11 11 (:REWRITE SUBSETP-TRANS))
 (8 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (8 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (8 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-SEQUENCE-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PROPERTY-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-LETDECL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FINAL-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ELABTASK-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-COVERGROUP-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLASS-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CASSERTION-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-BIND-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSERTION-P))
 (7 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (6 6 (:TYPE-PRESCRIPTION CONS-LISTP))
 (6 6 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (6 6 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (6 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GCLKDECL-P))
 (6 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DEFAULTDISABLE-P))
 (6 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TASKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SEQUENCE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PROPERTY-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-LETDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-INITIAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-IMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GENVAR-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GCLKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GATEINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FWDTYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FUNDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FINAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ELABTASK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIIMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIEXPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DEFAULTDISABLE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-COVERGROUP-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CLKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CLASS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BIND-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALWAYS-P))
 (2 2 (:REWRITE VL::VL-TYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-TYPEDEFLIST-P))
 (2 2 (:REWRITE VL::VL-TASKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-TASKDECLLIST-P))
 (2 2 (:REWRITE VL::VL-SEQUENCE-P-WHEN-MEMBER-EQUAL-OF-VL-SEQUENCELIST-P))
 (2 2 (:REWRITE VL::VL-PROPERTY-P-WHEN-MEMBER-EQUAL-OF-VL-PROPERTYLIST-P))
 (2 2 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (2 2 (:REWRITE VL::VL-MODPORT-P-WHEN-MEMBER-EQUAL-OF-VL-MODPORTLIST-P))
 (2 2 (:REWRITE VL::VL-MODINST-P-WHEN-MEMBER-EQUAL-OF-VL-MODINSTLIST-P))
 (2 2 (:REWRITE VL::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE VL::VL-LETDECL-P-WHEN-MEMBER-EQUAL-OF-VL-LETDECLLIST-P))
 (2 2 (:REWRITE VL::VL-INITIAL-P-WHEN-MEMBER-EQUAL-OF-VL-INITIALLIST-P))
 (2 2 (:REWRITE VL::VL-IMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-IMPORTLIST-P))
 (2 2 (:REWRITE VL::VL-GENVAR-P-WHEN-MEMBER-EQUAL-OF-VL-GENVARLIST-P))
 (2 2 (:REWRITE VL::VL-GCLKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-GCLKDECLLIST-P))
 (2 2 (:REWRITE VL::VL-GATEINST-P-WHEN-MEMBER-EQUAL-OF-VL-GATEINSTLIST-P))
 (2 2 (:REWRITE VL::VL-FWDTYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-FWDTYPEDEFLIST-P))
 (2 2 (:REWRITE VL::VL-FUNDECL-P-WHEN-MEMBER-EQUAL-OF-VL-FUNDECLLIST-P))
 (2 2 (:REWRITE VL::VL-FINAL-P-WHEN-MEMBER-EQUAL-OF-VL-FINALLIST-P))
 (2 2 (:REWRITE VL::VL-ELABTASK-P-WHEN-MEMBER-EQUAL-OF-VL-ELABTASKLIST-P))
 (2 2 (:REWRITE VL::VL-DPIIMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-DPIIMPORTLIST-P))
 (2 2 (:REWRITE VL::VL-DPIEXPORT-P-WHEN-MEMBER-EQUAL-OF-VL-DPIEXPORTLIST-P))
 (2 2 (:REWRITE VL::VL-DEFAULTDISABLE-P-WHEN-MEMBER-EQUAL-OF-VL-DEFAULTDISABLELIST-P))
 (2 2 (:REWRITE VL::VL-COVERGROUP-P-WHEN-MEMBER-EQUAL-OF-VL-COVERGROUPLIST-P))
 (2 2 (:REWRITE VL::VL-CLKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-CLKDECLLIST-P))
 (2 2 (:REWRITE VL::VL-CLASS-P-WHEN-MEMBER-EQUAL-OF-VL-CLASSLIST-P))
 (2 2 (:REWRITE VL::VL-CASSERTION-P-WHEN-MEMBER-EQUAL-OF-VL-CASSERTIONLIST-P))
 (2 2 (:REWRITE VL::VL-BIND-P-WHEN-MEMBER-EQUAL-OF-VL-BINDLIST-P))
 (2 2 (:REWRITE VL::VL-ASSERTION-P-WHEN-MEMBER-EQUAL-OF-VL-ASSERTIONLIST-P))
 (2 2 (:REWRITE VL::VL-ALWAYS-P-WHEN-MEMBER-EQUAL-OF-VL-ALWAYSLIST-P))
 (1 1 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-TYPEDEF-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-TASKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-TASKDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-SEQUENCE-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-SEQUENCE-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-PROPERTY-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-PROPERTY-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-MODPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-MODPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-MODINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-MODINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-INVALID-TAG))
 (1 1 (:REWRITE VL::VL-LETDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-LETDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-INITIAL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-INITIAL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-IMPORT-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL::VL-GENVAR-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-GCLKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-FUNDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-FUNDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-FINAL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-FINAL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-ELABTASK-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-ELABTASK-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-DPIIMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-DPIIMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-DPIEXPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-DPIEXPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-DEFAULTDISABLE-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-COVERGROUP-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-COVERGROUP-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-CLKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-CLASS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-CLASS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-CASSERTION-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-CASSERTION-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-BIND-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-BIND-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-ASSERTION-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-ASSERTION-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL::VL-ALWAYS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL::VL-ALWAYS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 )
(VL::BOOLEANP-OF-VL-PORTDECL-SIGN-1.SUCCESSP
 (216 4 (:DEFINITION REMOVE1-ASSOC-EQUAL))
 (148 14 (:REWRITE DEFAULT-CAR))
 (90 3 (:REWRITE VL::ASSOC-EQUAL-ELIM))
 (84 6 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (64 27 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (61 4 (:REWRITE VL::VL-VARDECL-FIX-WHEN-VL-VARDECL-P))
 (60 3 (:REWRITE VL::VL-PORTDECL-FIX-WHEN-VL-PORTDECL-P))
 (55 7 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (50 22 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (40 4 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (34 7 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (34 7 (:REWRITE ALISTP-WHEN-ATOM))
 (27 27 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (27 27 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (24 4 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (22 22 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (14 14 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (12 12 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (12 10 (:REWRITE DEFAULT-CDR))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-VARDECL->ATTS$INLINE))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-COMMENTMAP-P))
 (8 8 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (7 7 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-VARDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-P))
 (6 6 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (6 6 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (4 4 (:TYPE-PRESCRIPTION CONS-LISTP))
 (4 4 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (4 4 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (4 4 (:REWRITE BOOLEANP-WHEN-MEMBER-EQUAL-OF-BOOLEAN-LISTP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE SET::IN-SET))
 )
(VL::VL-WARNINGLIST-P-OF-VL-PORTDECL-SIGN-1.WARNINGS
 (216 4 (:DEFINITION REMOVE1-ASSOC-EQUAL))
 (171 15 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (156 18 (:REWRITE DEFAULT-CAR))
 (120 6 (:REWRITE VL::VL-PORTDECL-FIX-WHEN-VL-PORTDECL-P))
 (119 44 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (107 11 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (104 43 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (86 86 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (86 86 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (81 5 (:REWRITE VL::VL-VARDECL-FIX-WHEN-VL-VARDECL-P))
 (74 11 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (74 11 (:REWRITE ALISTP-WHEN-ATOM))
 (44 44 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (44 44 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (40 40 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (40 4 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (40 4 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (32 32 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (30 6 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (30 6 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (30 6 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (24 4 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (22 22 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (21 21 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (21 21 (:REWRITE CONSP-BY-LEN))
 (20 20 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (20 20 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (20 14 (:REWRITE DEFAULT-CDR))
 (20 4 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (20 4 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (20 4 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (18 18 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (14 1 (:REWRITE VL::CONSP-OF-VL-WARNINGLIST-FIX))
 (14 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (12 12 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-P))
 (12 12 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (11 11 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (10 5 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (9 9 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-VARDECL-P))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-VARDECL->ATTS$INLINE))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-COMMENTMAP-P))
 (8 8 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (8 8 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (6 6 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (5 5 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (5 5 (:REWRITE SET::IN-SET))
 (4 4 (:TYPE-PRESCRIPTION CONS-LISTP))
 (4 4 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (4 4 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 )
(VL::VL-PORTDECL-P-OF-VL-PORTDECL-SIGN-1.NEW-PORT
 (216 4 (:DEFINITION REMOVE1-ASSOC-EQUAL))
 (148 14 (:REWRITE DEFAULT-CAR))
 (127 6 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (119 6 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (90 3 (:REWRITE VL::ASSOC-EQUAL-ELIM))
 (84 6 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (76 33 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (61 4 (:REWRITE VL::VL-VARDECL-FIX-WHEN-VL-VARDECL-P))
 (60 3 (:REWRITE VL::VL-PORTDECL-FIX-WHEN-VL-PORTDECL-P))
 (55 7 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (50 22 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (40 6 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (40 4 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (34 7 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (34 7 (:REWRITE ALISTP-WHEN-ATOM))
 (33 33 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (33 33 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (28 28 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (24 4 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (14 14 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (14 14 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (12 12 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (12 10 (:REWRITE DEFAULT-CDR))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-VARDECL-P))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-VARDECL->ATTS$INLINE))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-COMMENTMAP-P))
 (8 8 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (7 7 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (6 6 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (4 4 (:TYPE-PRESCRIPTION CONS-LISTP))
 (4 4 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (4 4 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (3 3 (:REWRITE VL::TAG-OF-VL-PORTDECL))
 (3 1 (:REWRITE VL::VL-PORTDECL-OR-BLOCKITEM-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-PORTDECL-OR-BLOCKITEM-P-WHEN-VL-BLOCKITEM-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-SEQUENCE-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PROPERTY-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-LETDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GCLKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FINAL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ELABTASK-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DEFAULTDISABLE-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-COVERGROUP-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLASS-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CASSERTION-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-BIND-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSERTION-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-SEQUENCE-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-REGULARPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PROPERTY-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-INTERFACEPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-GENELEMENT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FINAL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ELABTASK-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-COVERGROUP-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-CLASS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-CASSERTION-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-BIND-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ASSERTION-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ALIAS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TASKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SEQUENCE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PROPERTY-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-OR-BLOCKITEM-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-INITIAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-IMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GATEINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FWDTYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FUNDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FINAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ELABTASK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIIMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIEXPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CTXELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-COVERGROUP-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CLASS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BIND-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSIGN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALWAYS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALIAS-P))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE VL::VL-PORTDECL-OR-BLOCKITEM-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECL-OR-BLOCKITEM-LIST-P))
 (2 2 (:REWRITE VL::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE SET::IN-SET))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-REGULARPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-LETDECL-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-INTERFACEPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GENVAR-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GENELEMENT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GCLKDECL-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-DEFAULTDISABLE-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-CLKDECL-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-BLOCKITEM-P))
 )
(VL::VL-VARDECL-P-OF-VL-PORTDECL-SIGN-1.NEW-VAR
 (216 4 (:DEFINITION REMOVE1-ASSOC-EQUAL))
 (148 14 (:REWRITE DEFAULT-CAR))
 (127 6 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (119 6 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (90 3 (:REWRITE VL::ASSOC-EQUAL-ELIM))
 (84 6 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (76 33 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (61 4 (:REWRITE VL::VL-VARDECL-FIX-WHEN-VL-VARDECL-P))
 (60 3 (:REWRITE VL::VL-PORTDECL-FIX-WHEN-VL-PORTDECL-P))
 (55 7 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (50 22 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (50 6 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (40 4 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (34 7 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (34 7 (:REWRITE ALISTP-WHEN-ATOM))
 (33 33 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (33 33 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (28 28 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (24 4 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (14 14 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (12 12 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (12 10 (:REWRITE DEFAULT-CDR))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-VARDECL->ATTS$INLINE))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-P))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-COMMENTMAP-P))
 (8 8 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (7 7 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (6 6 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (4 4 (:TYPE-PRESCRIPTION CONS-LISTP))
 (4 4 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (4 4 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-TYPEDEF-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-IMPORT-P))
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (3 3 (:REWRITE VL::TAG-OF-VL-VARDECL))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-SEQUENCE-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PROPERTY-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-LETDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GCLKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FINAL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ELABTASK-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DEFAULTDISABLE-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-COVERGROUP-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLASS-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CASSERTION-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-BIND-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSERTION-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-SEQUENCE-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-REGULARPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PROPERTY-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-INTERFACEPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-GENELEMENT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FINAL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ELABTASK-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-COVERGROUP-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-CLASS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-CASSERTION-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-BIND-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ASSERTION-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ALIAS-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-LETDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-IMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TASKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SEQUENCE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PROPERTY-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-LETDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-INITIAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GATEINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FWDTYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FUNDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FINAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ELABTASK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIIMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIEXPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CTXELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-COVERGROUP-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CLASS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BLOCKITEM-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BIND-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSIGN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALWAYS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALIAS-P))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE VL::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-MEMBER-EQUAL-OF-VL-BLOCKITEMLIST-P))
 (2 2 (:REWRITE SET::IN-SET))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-REGULARPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-INTERFACEPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GENVAR-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GENELEMENT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GCLKDECL-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-DEFAULTDISABLE-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-CLKDECL-P))
 (1 1 (:REWRITE VL::VL-BLOCKITEM-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 )
(VL::VL-PORTDECL-SIGN-1-OF-VL-PORTDECL-FIX-PORT
 (12 12 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (12 12 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(VL::VL-PORTDECL-SIGN-1-VL-PORTDECL-EQUIV-CONGRUENCE-ON-PORT)
(VL::VL-PORTDECL-SIGN-1-OF-VL-VARDECL-FIX-VAR
 (152 8 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (112 8 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (107 2 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (99 2 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (52 12 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (31 2 (:REWRITE VL::ASSOC-EQUAL-ELIM))
 (30 2 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (28 28 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (28 28 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (22 10 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (21 2 (:REWRITE VL::VL-PORTDECL-FIX-WHEN-VL-PORTDECL-P))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (16 16 (:TYPE-PRESCRIPTION VL::VL-WARNINGLIST-P))
 (16 16 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (14 14 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (13 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (12 12 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (10 1 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (10 1 (:REWRITE ALISTP-WHEN-ATOM))
 (8 8 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (8 8 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (8 8 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (8 8 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (8 8 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (8 8 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (8 8 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (8 8 (:REWRITE CONSP-BY-LEN))
 (8 4 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 4 (:REWRITE DEFAULT-CDR))
 (8 4 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (5 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (5 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (5 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-P))
 (4 4 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (4 4 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (4 4 (:REWRITE SET::IN-SET))
 (4 4 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-TYPEDEF-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-IMPORT-P))
 (3 3 (:REWRITE VL::TAG-OF-VL-VARDECL-FIX))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-SEQUENCE-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PROPERTY-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-LETDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GCLKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FINAL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ELABTASK-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DEFAULTDISABLE-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-COVERGROUP-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLASS-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CASSERTION-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-BIND-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSERTION-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-SEQUENCE-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-REGULARPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PROPERTY-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-INTERFACEPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-GENELEMENT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FINAL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ELABTASK-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-COVERGROUP-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-CLASS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-CASSERTION-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-BIND-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ASSERTION-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ALIAS-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-LETDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-IMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TASKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SEQUENCE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PROPERTY-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-LETDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-INITIAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GATEINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FWDTYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FUNDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FINAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ELABTASK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIIMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIEXPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CTXELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-COVERGROUP-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CLASS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BLOCKITEM-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BIND-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSIGN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALWAYS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALIAS-P))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 (2 2 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (2 2 (:REWRITE VL::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-MEMBER-EQUAL-OF-VL-BLOCKITEMLIST-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-REGULARPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-INTERFACEPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GENVAR-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GENELEMENT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GCLKDECL-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-DEFAULTDISABLE-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-CLKDECL-P))
 (1 1 (:REWRITE VL::VL-BLOCKITEM-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (1 1 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 )
(VL::VL-PORTDECL-SIGN-1-VL-VARDECL-EQUIV-CONGRUENCE-ON-VAR)
(VL::VL-PORTDECL-SIGN-1-OF-VL-WARNINGLIST-FIX-WARNINGS
 (432 8 (:DEFINITION REMOVE1-ASSOC-EQUAL))
 (326 30 (:REWRITE DEFAULT-CAR))
 (136 35 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (101 101 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (101 101 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (98 7 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (91 4 (:REWRITE VL::ASSOC-EQUAL-ELIM))
 (80 8 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (71 11 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (70 32 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (65 8 (:REWRITE VL::VL-VARDECL-FIX-WHEN-VL-VARDECL-P))
 (64 64 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (64 64 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (63 6 (:REWRITE VL::VL-PORTDECL-FIX-WHEN-VL-PORTDECL-P))
 (54 22 (:REWRITE DEFAULT-CDR))
 (48 8 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (38 11 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (38 11 (:REWRITE ALISTP-WHEN-ATOM))
 (35 35 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (35 35 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (30 30 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (28 28 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (22 22 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (18 18 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (18 18 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (18 18 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (18 18 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (18 18 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (18 18 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (18 18 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (18 18 (:REWRITE CONSP-BY-LEN))
 (16 16 (:TYPE-PRESCRIPTION VL::VL-COMMENTMAP-P))
 (16 16 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (16 8 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (16 8 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (15 3 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (15 3 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (11 11 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (10 5 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:TYPE-PRESCRIPTION CONS-LISTP))
 (8 8 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (8 8 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (8 8 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-VARDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-P))
 (6 6 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (6 6 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (6 6 (:REWRITE VL::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (5 5 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (5 5 (:REWRITE SET::IN-SET))
 )
(VL::VL-PORTDECL-SIGN-1-VL-WARNINGLIST-EQUIV-CONGRUENCE-ON-WARNINGS)
(VL::VL-PORTDECL-SIGN-LIST
 (291 6 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (210 44 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (203 10 (:REWRITE VL::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (202 202 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (202 101 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (196 196 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (168 12 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (117 117 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (115 18 (:REWRITE VL::VL-PORTDECLLIST->NAMES-WHEN-NOT-CONSP))
 (101 101 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (101 101 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (101 101 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (101 101 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (101 101 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (101 101 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (101 101 (:REWRITE CONSP-BY-LEN))
 (98 6 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (70 70 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (58 26 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (44 44 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (44 44 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (42 6 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (32 32 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (32 16 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (26 26 (:REWRITE SET::IN-SET))
 (26 26 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (25 25 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (25 12 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (25 5 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (25 5 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (25 5 (:REWRITE VL::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (24 6 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (23 1 (:REWRITE MEMBER-OF-CAR))
 (6 6 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE SUBSETP-MEMBER . 1))
 (5 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 (5 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (5 1 (:REWRITE VL::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (4 4 (:REWRITE SUBSETP-TRANS2))
 (4 4 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE CONSP-OF-CDDR-BY-LEN))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 )
(VL::BOOLEANP-OF-VL-PORTDECL-SIGN-LIST.SUCCESSP
 (19 1 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (15 2 (:REWRITE DEFAULT-CAR))
 (14 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (8 4 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-WARNINGLIST-P))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE BOOLEANP-WHEN-MEMBER-EQUAL-OF-BOOLEAN-LISTP))
 )
(VL::VL-WARNINGLIST-P-OF-VL-PORTDECL-SIGN-LIST.WARNINGS
 (54 1 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (44 4 (:REWRITE DEFAULT-CAR))
 (28 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (19 1 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (18 9 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (16 1 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (15 2 (:REWRITE DEFAULT-CDR))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (9 9 (:REWRITE CONSP-BY-LEN))
 (6 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 4 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PORTDECLLIST-P-OF-VL-PORTDECL-SIGN-LIST.NEW-PORTS
 (110 1 (:REWRITE SUBSETP-OF-CONS))
 (84 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (59 6 (:REWRITE DEFAULT-CAR))
 (33 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (22 11 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (19 1 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (18 5 (:REWRITE DEFAULT-CDR))
 (17 17 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (17 2 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (15 2 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (12 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (9 2 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (7 7 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (7 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (6 6 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (6 6 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (4 4 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:REWRITE SUBSETP-TRANS2))
 (3 3 (:REWRITE SUBSETP-TRANS))
 (3 3 (:REWRITE SET::IN-SET))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-WARNINGLIST-P))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (2 2 (:REWRITE CDR-CONS))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE CAR-CONS))
 )
(VL::VL-VARDECLLIST-P-OF-VL-PORTDECL-SIGN-LIST.NEW-VARS
 (110 1 (:REWRITE SUBSETP-OF-CONS))
 (84 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (59 6 (:REWRITE DEFAULT-CAR))
 (33 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (22 11 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (19 1 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (18 5 (:REWRITE DEFAULT-CDR))
 (17 17 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (17 2 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (15 2 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (12 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (9 2 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (7 7 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (7 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (6 6 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (6 6 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (4 4 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:REWRITE SUBSETP-TRANS2))
 (3 3 (:REWRITE SUBSETP-TRANS))
 (3 3 (:REWRITE SET::IN-SET))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-WARNINGLIST-P))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (2 2 (:REWRITE CDR-CONS))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE CAR-CONS))
 )
(VL::TRUE-LISTP-OF-VL-PORTDECL-SIGN-LIST.NEW-PORTS
 (19 1 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (15 2 (:REWRITE DEFAULT-CAR))
 (15 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (14 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (10 5 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (5 5 (:REWRITE CONSP-BY-LEN))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSET))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::TRUE-LISTP-OF-VL-PORTDECL-SIGN-LIST.NEW-VARS
 (19 1 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (15 2 (:REWRITE DEFAULT-CAR))
 (15 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (14 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (10 5 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (5 5 (:REWRITE CONSP-BY-LEN))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSET))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::VL-PORTDECL-SIGN-LIST-OF-VL-PORTDECLLIST-FIX-PORTDECLS
 (574 68 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (288 288 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (288 288 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (288 144 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (264 264 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (184 184 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (150 25 (:REWRITE VL::VL-PORTDECLLIST-P-OF-CDR-WHEN-VL-PORTDECLLIST-P))
 (144 144 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (144 144 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (144 144 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (144 144 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (144 144 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (144 144 (:REWRITE CONSP-BY-LEN))
 (134 134 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (134 67 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (118 118 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (118 118 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (68 68 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (68 68 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (67 67 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (67 67 (:REWRITE SET::IN-SET))
 (25 25 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (20 2 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (14 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 )
(VL::VL-PORTDECL-SIGN-LIST-VL-PORTDECLLIST-EQUIV-CONGRUENCE-ON-PORTDECLS)
(VL::VL-PORTDECL-SIGN-LIST-OF-VL-VARDECLLIST-FIX-VARDECLS
 (262 32 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (228 228 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (228 228 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (228 114 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (190 190 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (171 9 (:REWRITE VL::VL-VARDECLLIST-P-OF-CDR-WHEN-VL-VARDECLLIST-P))
 (126 9 (:REWRITE VL::CONSP-OF-VL-VARDECLLIST-FIX))
 (114 114 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (114 114 (:REWRITE CONSP-BY-LEN))
 (105 105 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (105 105 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (80 80 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (62 62 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (62 31 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (32 32 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (32 32 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (31 31 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (31 31 (:REWRITE SET::IN-SET))
 (20 2 (:REWRITE VL::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (14 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (9 9 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 )
(VL::VL-PORTDECL-SIGN-LIST-VL-VARDECLLIST-EQUIV-CONGRUENCE-ON-VARDECLS)
(VL::VL-PORTDECL-SIGN-LIST-OF-VL-WARNINGLIST-FIX-WARNINGS
 (32 6 (:REWRITE DEFAULT-CAR))
 (28 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (15 2 (:REWRITE DEFAULT-CDR))
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (14 7 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (7 7 (:REWRITE CONSP-BY-LEN))
 (6 6 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (4 4 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 )
(VL::VL-PORTDECL-SIGN-LIST-VL-WARNINGLIST-EQUIV-CONGRUENCE-ON-WARNINGS)
(VL::VL-PORTDECL-SIGN-MAIN
 (891 16 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (636 6 (:DEFINITION SET::MERGESORT))
 (550 4 (:REWRITE VL::NO-DUPLICATESP-EQUAL-WHEN-SAME-LENGTH-MERGESORT))
 (539 138 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (360 36 (:REWRITE DEFAULT-CAR))
 (316 8 (:REWRITE SET::IN-MERGESORT-UNDER-IFF))
 (304 44 (:REWRITE DEFAULT-CDR))
 (280 16 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (276 276 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (276 276 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (228 7 (:REWRITE SET::INSERT-IDENTITY))
 (198 12 (:REWRITE VL::CDR-OF-VL-PORTDECLLIST->NAMES))
 (192 30 (:REWRITE VL::VL-PORTDECLLIST->NAMES-WHEN-NOT-CONSP))
 (169 1 (:DEFINITION SET::DIFFERENCE))
 (154 16 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (150 21 (:REWRITE VL::VL-VARDECLLIST->NAMES-WHEN-NOT-CONSP))
 (147 9 (:REWRITE VL::CAR-OF-VL-PORTDECLLIST->NAMES))
 (143 10 (:REWRITE VL::VL-PORTDECLLIST->NAMES-UNDER-IFF))
 (120 12 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (116 2 (:REWRITE VL::LEN-OF-MERGESORT-WHEN-NO-DUPLICATESP-EQUAL))
 (115 115 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (115 115 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (115 115 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (115 115 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (115 115 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (115 115 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (115 115 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (115 115 (:REWRITE CONSP-BY-LEN))
 (114 6 (:REWRITE LEN-WHEN-ATOM))
 (113 19 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (105 8 (:REWRITE VL::CDR-OF-VL-VARDECLLIST->NAMES))
 (92 16 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (90 33 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (85 7 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (84 6 (:REWRITE VL::VL-VARDECLLIST->NAMES-UNDER-IFF))
 (80 80 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (80 36 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (76 2 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (65 1 (:REWRITE SET::SUBSET-DIFFERENCE))
 (53 1 (:DEFINITION SET::SUBSET))
 (52 4 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-ATOM))
 (52 4 (:REWRITE NO-DUPLICATESP-EQUAL-NON-CONS))
 (50 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (50 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (48 48 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (48 3 (:REWRITE VL::CAR-OF-VL-VARDECLLIST->NAMES))
 (39 39 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-PORTDECL->NAME))
 (39 39 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (38 1 (:REWRITE MEMBER-WHEN-ATOM))
 (36 36 (:REWRITE SET::IN-SET))
 (28 28 (:TYPE-PRESCRIPTION LEN))
 (28 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (28 2 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (28 2 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (19 19 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (19 19 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (16 16 (:REWRITE SUBSETP-MEMBER . 2))
 (16 16 (:REWRITE SUBSETP-MEMBER . 1))
 (16 16 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (15 1 (:REWRITE VL::LEN-OF-VL-VARDECLLIST->NAMES))
 (15 1 (:REWRITE VL::LEN-OF-VL-PORTDECLLIST->NAMES))
 (14 14 (:REWRITE SUBSETP-TRANS))
 (12 12 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-VARDECL->NAME))
 (12 12 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (12 12 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (12 12 (:LINEAR LEN-WHEN-PREFIXP))
 (9 3 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (9 3 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (7 7 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (6 6 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (6 6 (:LINEAR INDEX-OF-<-LEN))
 (6 6 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (6 2 (:REWRITE SET::EMPTY-SUBSET-2))
 (6 2 (:REWRITE SET::EMPTY-SUBSET))
 (4 4 (:TYPE-PRESCRIPTION SET::SUBSET-TYPE))
 (4 4 (:REWRITE SET::SUBSET-TRANSITIVE))
 (4 4 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-DUPLICITY-BADGUY1))
 (4 4 (:REWRITE FN-CHECK-DEF-FORMALS))
 (4 1 (:REWRITE SET::DIFFERENCE-IN))
 (3 3 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (3 3 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (3 3 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (2 2 (:REWRITE SET::SUBSET-IN))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSET))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (2 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-HIGH-DUPLICITY))
 (1 1 (:REWRITE SUBSETP-MEMBER . 4))
 (1 1 (:REWRITE SUBSETP-MEMBER . 3))
 (1 1 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (1 1 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 3))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 2))
 (1 1 (:REWRITE SET::HEAD-UNIQUE))
 )
(VL::VL-WARNINGLIST-P-OF-VL-PORTDECL-SIGN-MAIN.WARNINGS
 (1375 10 (:REWRITE VL::NO-DUPLICATESP-EQUAL-WHEN-SAME-LENGTH-MERGESORT))
 (1166 11 (:DEFINITION SET::MERGESORT))
 (597 15 (:REWRITE SET::IN-MERGESORT-UNDER-IFF))
 (596 131 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (419 13 (:REWRITE SET::INSERT-IDENTITY))
 (338 2 (:DEFINITION SET::DIFFERENCE))
 (290 5 (:REWRITE VL::LEN-OF-MERGESORT-WHEN-NO-DUPLICATESP-EQUAL))
 (288 30 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (285 15 (:REWRITE LEN-WHEN-ATOM))
 (262 262 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (262 262 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (261 34 (:REWRITE VL::VL-PORTDECLLIST->NAMES-WHEN-NOT-CONSP))
 (231 14 (:REWRITE VL::CDR-OF-VL-PORTDECLLIST->NAMES))
 (230 31 (:REWRITE VL::VL-VARDECLLIST->NAMES-WHEN-NOT-CONSP))
 (220 22 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (184 28 (:REWRITE DEFAULT-CDR))
 (177 14 (:REWRITE VL::CDR-OF-VL-VARDECLLIST->NAMES))
 (173 30 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (169 12 (:REWRITE VL::VL-PORTDECLLIST->NAMES-UNDER-IFF))
 (168 62 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (167 13 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (155 155 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-VARDECLLIST->NAMES))
 (152 152 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-PORTDECLLIST->NAMES))
 (130 10 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-ATOM))
 (130 10 (:REWRITE NO-DUPLICATESP-EQUAL-NON-CONS))
 (130 2 (:REWRITE SET::SUBSET-DIFFERENCE))
 (129 8 (:REWRITE VL::CAR-OF-VL-PORTDECLLIST->NAMES))
 (126 9 (:REWRITE VL::VL-VARDECLLIST->NAMES-UNDER-IFF))
 (123 123 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (106 2 (:DEFINITION SET::SUBSET))
 (101 10 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (98 98 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (98 98 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (98 98 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (98 98 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (98 98 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (98 98 (:REWRITE CONSP-BY-LEN))
 (96 96 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (96 96 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (91 38 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (85 1 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (80 5 (:REWRITE VL::CAR-OF-VL-VARDECLLIST->NAMES))
 (76 2 (:REWRITE MEMBER-WHEN-ATOM))
 (70 70 (:TYPE-PRESCRIPTION LEN))
 (45 3 (:REWRITE VL::LEN-OF-VL-PORTDECLLIST->NAMES))
 (38 38 (:REWRITE SET::IN-SET))
 (38 1 (:REWRITE VL::VL-DELETE-VARDECLS-WHEN-ATOM-OF-NAMES))
 (33 33 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-PORTDECL->NAME))
 (30 30 (:REWRITE SUBSETP-MEMBER . 2))
 (30 30 (:REWRITE SUBSETP-MEMBER . 1))
 (30 30 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (30 30 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (30 30 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (30 30 (:LINEAR LEN-WHEN-PREFIXP))
 (30 2 (:REWRITE VL::LEN-OF-VL-VARDECLLIST->NAMES))
 (29 1 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (26 26 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (25 1 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (25 1 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (20 20 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-VARDECL->NAME))
 (20 20 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (19 6 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (19 1 (:REWRITE VL::VL-VARDECLLIST-FIX-WHEN-VL-VARDECLLIST-P))
 (19 1 (:REWRITE VL::VL-PORTDECLLIST-FIX-WHEN-VL-PORTDECLLIST-P))
 (18 6 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (18 6 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (15 15 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (15 15 (:LINEAR INDEX-OF-<-LEN))
 (15 15 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (14 14 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (14 1 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE VL::VL-DELETE-VARDECLS-WHEN-ATOM))
 (14 1 (:REWRITE VL::CONSP-OF-VL-VARDECLLIST-FIX))
 (14 1 (:REWRITE VL::CONSP-OF-VL-PORTDECLLIST-FIX))
 (13 13 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (13 13 (:REWRITE DEFAULT-CAR))
 (12 4 (:REWRITE SET::EMPTY-SUBSET-2))
 (12 4 (:REWRITE SET::EMPTY-SUBSET))
 (10 10 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-DUPLICITY-BADGUY1))
 (10 10 (:REWRITE FN-CHECK-DEF-FORMALS))
 (10 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (9 9 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (8 8 (:TYPE-PRESCRIPTION SET::SUBSET-TYPE))
 (8 8 (:REWRITE SET::SUBSET-TRANSITIVE))
 (8 2 (:REWRITE SET::DIFFERENCE-IN))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (6 6 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (6 6 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (6 6 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (6 6 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (5 5 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-HIGH-DUPLICITY))
 (4 4 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-PORTDECL-SIGN-LIST.NEW-VARS))
 (4 4 (:REWRITE SET::SUBSET-IN))
 (4 4 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-VARDECLLIST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PORTDECLLIST-P))
 (2 2 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE SUBSETP-MEMBER . 4))
 (2 2 (:REWRITE SUBSETP-MEMBER . 3))
 (2 2 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 3))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 2))
 (2 2 (:REWRITE SET::HEAD-UNIQUE))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(VL::VL-PORTDECLLIST-P-OF-VL-PORTDECL-SIGN-MAIN.NEW-PORTDECLS
 (212 2 (:DEFINITION SET::MERGESORT))
 (176 4 (:REWRITE SET::IN-MERGESORT-UNDER-IFF))
 (169 1 (:DEFINITION SET::DIFFERENCE))
 (107 28 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (80 3 (:REWRITE SET::INSERT-IDENTITY))
 (74 8 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (73 3 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (72 7 (:REWRITE VL::VL-VARDECLLIST->NAMES-WHEN-NOT-CONSP))
 (70 5 (:REWRITE VL::VL-PORTDECLLIST->NAMES-WHEN-NOT-CONSP))
 (65 1 (:REWRITE SET::SUBSET-DIFFERENCE))
 (56 56 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (56 56 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (53 1 (:DEFINITION SET::SUBSET))
 (48 8 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (42 17 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (42 3 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (40 40 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (40 4 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (39 4 (:REWRITE VL::CDR-OF-VL-VARDECLLIST->NAMES))
 (38 38 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-VARDECLLIST->NAMES))
 (38 1 (:REWRITE VL::VL-DELETE-VARDECLS-WHEN-ATOM-OF-NAMES))
 (38 1 (:REWRITE MEMBER-WHEN-ATOM))
 (33 2 (:REWRITE VL::CDR-OF-VL-PORTDECLLIST->NAMES))
 (32 6 (:REWRITE DEFAULT-CDR))
 (28 2 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (23 23 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (23 23 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (23 23 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (23 23 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (23 23 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (23 23 (:REWRITE CONSP-BY-LEN))
 (21 21 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-PORTDECLLIST->NAMES))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (20 20 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (20 8 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (19 1 (:REWRITE VL::VL-VARDECLLIST-FIX-WHEN-VL-VARDECLLIST-P))
 (19 1 (:REWRITE VL::VL-PORTDECLLIST-FIX-WHEN-VL-PORTDECLLIST-P))
 (16 1 (:REWRITE VL::CAR-OF-VL-VARDECLLIST->NAMES))
 (16 1 (:REWRITE VL::CAR-OF-VL-PORTDECLLIST->NAMES))
 (14 1 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE VL::VL-VARDECLLIST->NAMES-UNDER-IFF))
 (14 1 (:REWRITE VL::VL-PORTDECLLIST->NAMES-UNDER-IFF))
 (14 1 (:REWRITE VL::VL-DELETE-VARDECLS-WHEN-ATOM))
 (14 1 (:REWRITE VL::CONSP-OF-VL-VARDECLLIST-FIX))
 (14 1 (:REWRITE VL::CONSP-OF-VL-PORTDECLLIST-FIX))
 (10 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (9 3 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (9 3 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (8 8 (:REWRITE SUBSETP-MEMBER . 2))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (8 8 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (8 8 (:REWRITE SET::IN-SET))
 (6 6 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (6 2 (:REWRITE SET::EMPTY-SUBSET-2))
 (6 2 (:REWRITE SET::EMPTY-SUBSET))
 (4 4 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-PORTDECL-SIGN-LIST.NEW-VARS))
 (4 4 (:TYPE-PRESCRIPTION SET::SUBSET-TYPE))
 (4 4 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-VARDECL->NAME))
 (4 4 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-PORTDECL->NAME))
 (4 4 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE SET::SUBSET-TRANSITIVE))
 (4 4 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (4 1 (:REWRITE SET::DIFFERENCE-IN))
 (3 3 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (3 3 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (3 3 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (3 3 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-VARDECLLIST-P))
 (2 2 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE SET::SUBSET-IN))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE SUBSETP-MEMBER . 4))
 (1 1 (:REWRITE SUBSETP-MEMBER . 3))
 (1 1 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (1 1 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 3))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 2))
 (1 1 (:REWRITE SET::HEAD-UNIQUE))
 )
(VL::VL-VARDECLLIST-P-OF-VL-PORTDECL-SIGN-MAIN.NEW-VARDECLS
 (636 6 (:DEFINITION SET::MERGESORT))
 (550 4 (:REWRITE VL::NO-DUPLICATESP-EQUAL-WHEN-SAME-LENGTH-MERGESORT))
 (358 80 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (316 8 (:REWRITE SET::IN-MERGESORT-UNDER-IFF))
 (228 7 (:REWRITE SET::INSERT-IDENTITY))
 (169 1 (:DEFINITION SET::DIFFERENCE))
 (167 21 (:REWRITE VL::VL-PORTDECLLIST->NAMES-WHEN-NOT-CONSP))
 (160 160 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (160 160 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (154 16 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (137 18 (:REWRITE VL::VL-VARDECLLIST->NAMES-WHEN-NOT-CONSP))
 (132 8 (:REWRITE VL::CDR-OF-VL-PORTDECLLIST->NAMES))
 (120 12 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (116 2 (:REWRITE VL::LEN-OF-MERGESORT-WHEN-NO-DUPLICATESP-EQUAL))
 (114 6 (:REWRITE LEN-WHEN-ATOM))
 (107 16 (:REWRITE DEFAULT-CDR))
 (105 8 (:REWRITE VL::CDR-OF-VL-VARDECLLIST->NAMES))
 (99 7 (:REWRITE VL::VL-PORTDECLLIST->NAMES-UNDER-IFF))
 (92 16 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (90 33 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (88 88 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-VARDECLLIST->NAMES))
 (85 7 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (85 1 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (81 81 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-PORTDECLLIST->NAMES))
 (81 5 (:REWRITE VL::CAR-OF-VL-PORTDECLLIST->NAMES))
 (70 5 (:REWRITE VL::VL-VARDECLLIST->NAMES-UNDER-IFF))
 (65 65 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (65 1 (:REWRITE SET::SUBSET-DIFFERENCE))
 (64 3 (:REWRITE VL::VL-DELETE-VARDECLS-WHEN-ATOM-OF-NAMES))
 (59 59 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (59 59 (:REWRITE CONSP-BY-LEN))
 (57 57 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (57 57 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (53 1 (:DEFINITION SET::SUBSET))
 (52 4 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-ATOM))
 (52 4 (:REWRITE NO-DUPLICATESP-EQUAL-NON-CONS))
 (50 21 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (48 3 (:REWRITE VL::CAR-OF-VL-VARDECLLIST->NAMES))
 (42 3 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (38 1 (:REWRITE MEMBER-WHEN-ATOM))
 (29 3 (:REWRITE VL::VL-DELETE-VARDECLS-WHEN-ATOM))
 (29 1 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (28 28 (:TYPE-PRESCRIPTION LEN))
 (28 2 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (25 1 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (25 1 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (22 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (21 21 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-PORTDECL->NAME))
 (21 21 (:REWRITE SET::IN-SET))
 (19 1 (:REWRITE VL::VL-VARDECLLIST-FIX-WHEN-VL-VARDECLLIST-P))
 (19 1 (:REWRITE VL::VL-PORTDECLLIST-FIX-WHEN-VL-PORTDECLLIST-P))
 (16 16 (:REWRITE SUBSETP-MEMBER . 2))
 (16 16 (:REWRITE SUBSETP-MEMBER . 1))
 (16 16 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (16 16 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (15 1 (:REWRITE VL::LEN-OF-VL-VARDECLLIST->NAMES))
 (15 1 (:REWRITE VL::LEN-OF-VL-PORTDECLLIST->NAMES))
 (14 1 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE VL::CONSP-OF-VL-VARDECLLIST-FIX))
 (14 1 (:REWRITE VL::CONSP-OF-VL-PORTDECLLIST-FIX))
 (13 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (12 12 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-VARDECL->NAME))
 (12 12 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (12 12 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (12 12 (:LINEAR LEN-WHEN-PREFIXP))
 (10 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (9 9 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (9 3 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (9 3 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (8 8 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-PORTDECL-SIGN-LIST.NEW-VARS))
 (8 8 (:REWRITE DEFAULT-CAR))
 (7 7 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (6 6 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (6 6 (:LINEAR INDEX-OF-<-LEN))
 (6 6 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (6 2 (:REWRITE SET::EMPTY-SUBSET-2))
 (6 2 (:REWRITE SET::EMPTY-SUBSET))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-DELETE-VARDECLS))
 (4 4 (:TYPE-PRESCRIPTION SET::SUBSET-TYPE))
 (4 4 (:REWRITE SET::SUBSET-TRANSITIVE))
 (4 4 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-DUPLICITY-BADGUY1))
 (4 4 (:REWRITE FN-CHECK-DEF-FORMALS))
 (4 1 (:REWRITE SET::DIFFERENCE-IN))
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (3 3 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (3 3 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (3 3 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PORTDECLLIST-P))
 (2 2 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE SET::SUBSET-IN))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (2 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-HIGH-DUPLICITY))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE SUBSETP-MEMBER . 4))
 (1 1 (:REWRITE SUBSETP-MEMBER . 3))
 (1 1 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (1 1 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 3))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 2))
 (1 1 (:REWRITE SET::HEAD-UNIQUE))
 )
(VL::VL-PORTDECL-SIGN-MAIN-OF-VL-PORTDECLLIST-FIX-PORTDECLS)
(VL::VL-PORTDECL-SIGN-MAIN-VL-PORTDECLLIST-EQUIV-CONGRUENCE-ON-PORTDECLS)
(VL::VL-PORTDECL-SIGN-MAIN-OF-VL-VARDECLLIST-FIX-VARDECLS)
(VL::VL-PORTDECL-SIGN-MAIN-VL-VARDECLLIST-EQUIV-CONGRUENCE-ON-VARDECLS)
(VL::VL-PORTDECL-SIGN-MAIN-OF-VL-WARNINGLIST-FIX-WARNINGS
 (424 4 (:DEFINITION SET::MERGESORT))
 (352 8 (:REWRITE SET::IN-MERGESORT-UNDER-IFF))
 (338 2 (:DEFINITION SET::DIFFERENCE))
 (190 44 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (160 6 (:REWRITE SET::INSERT-IDENTITY))
 (148 16 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (146 6 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (130 2 (:REWRITE SET::SUBSET-DIFFERENCE))
 (106 14 (:REWRITE VL::VL-VARDECLLIST->NAMES-WHEN-NOT-CONSP))
 (106 2 (:DEFINITION SET::SUBSET))
 (102 10 (:REWRITE VL::VL-PORTDECLLIST->NAMES-WHEN-NOT-CONSP))
 (96 16 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (88 88 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (88 88 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (84 34 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (80 80 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (80 8 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (78 8 (:REWRITE VL::CDR-OF-VL-VARDECLLIST->NAMES))
 (76 2 (:REWRITE VL::VL-DELETE-VARDECLS-WHEN-ATOM-OF-NAMES))
 (76 2 (:REWRITE MEMBER-WHEN-ATOM))
 (66 4 (:REWRITE VL::CDR-OF-VL-PORTDECLLIST->NAMES))
 (64 12 (:REWRITE DEFAULT-CDR))
 (56 4 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (40 40 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (40 16 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (34 34 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (34 34 (:REWRITE CONSP-BY-LEN))
 (32 32 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (32 32 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (32 2 (:REWRITE VL::CAR-OF-VL-VARDECLLIST->NAMES))
 (32 2 (:REWRITE VL::CAR-OF-VL-PORTDECLLIST->NAMES))
 (28 2 (:REWRITE VL::VL-VARDECLLIST->NAMES-UNDER-IFF))
 (28 2 (:REWRITE VL::VL-PORTDECLLIST->NAMES-UNDER-IFF))
 (28 2 (:REWRITE VL::VL-DELETE-VARDECLS-WHEN-ATOM))
 (20 2 (:REWRITE VL::VL-VARDECLLIST-FIX-WHEN-VL-VARDECLLIST-P))
 (20 2 (:REWRITE VL::VL-PORTDECLLIST-FIX-WHEN-VL-PORTDECLLIST-P))
 (20 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (18 6 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (18 6 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (16 16 (:REWRITE SUBSETP-MEMBER . 2))
 (16 16 (:REWRITE SUBSETP-MEMBER . 1))
 (16 16 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (16 16 (:REWRITE SET::IN-SET))
 (14 1 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (14 1 (:REWRITE VL::CONSP-OF-VL-VARDECLLIST-FIX))
 (14 1 (:REWRITE VL::CONSP-OF-VL-PORTDECLLIST-FIX))
 (12 4 (:REWRITE SET::EMPTY-SUBSET-2))
 (12 4 (:REWRITE SET::EMPTY-SUBSET))
 (8 8 (:TYPE-PRESCRIPTION VL::TRUE-LISTP-OF-VL-PORTDECL-SIGN-LIST.NEW-VARS))
 (8 8 (:TYPE-PRESCRIPTION SET::SUBSET-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-VARDECL->NAME))
 (8 8 (:TYPE-PRESCRIPTION VL::STRINGP-OF-VL-PORTDECL->NAME))
 (8 8 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE SET::SUBSET-TRANSITIVE))
 (8 8 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (8 2 (:REWRITE SET::DIFFERENCE-IN))
 (6 6 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (6 6 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (6 6 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (6 6 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (6 6 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (4 4 (:REWRITE SET::SUBSET-IN))
 (4 4 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (4 4 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-VARDECLLIST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PORTDECLLIST-P))
 (2 2 (:REWRITE VL::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-PORTDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE SUBSETP-MEMBER . 4))
 (2 2 (:REWRITE SUBSETP-MEMBER . 3))
 (2 2 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 3))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 2))
 (2 2 (:REWRITE SET::HEAD-UNIQUE))
 )
(VL::VL-PORTDECL-SIGN-MAIN-VL-WARNINGLIST-EQUIV-CONGRUENCE-ON-WARNINGS)
(VL::VL-MODULE-PORTDECL-SIGN)
(VL::VL-MODULE-P-OF-VL-MODULE-PORTDECL-SIGN)
(VL::VL-MODULE-PORTDECL-SIGN-OF-VL-MODULE-FIX-X
 (10 1 (:REWRITE VL::VL-MODULE-FIX-WHEN-VL-MODULE-P))
 (5 1 (:REWRITE VL::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MODULE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-MODULE-P))
 (2 2 (:REWRITE VL::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (2 1 (:REWRITE VL::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 )
(VL::VL-MODULE-PORTDECL-SIGN-VL-MODULE-EQUIV-CONGRUENCE-ON-X)
(VL::VL-MODULELIST-PORTDECL-SIGN-EXEC)
(VL::VL-MODULELIST-PORTDECL-SIGN-NREV)
(VL::VL-MODULELIST-PORTDECL-SIGN)
(VL::VL-MODULELIST-P-OF-VL-MODULELIST-PORTDECL-SIGN
 (110 1 (:REWRITE SUBSETP-OF-CONS))
 (92 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (34 5 (:REWRITE DEFAULT-CAR))
 (26 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (25 8 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (19 7 (:REWRITE DEFAULT-CDR))
 (19 2 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (18 6 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (18 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (16 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (16 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (13 2 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (12 2 (:REWRITE VL::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (7 7 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (7 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (5 5 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (4 4 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:REWRITE SUBSETP-TRANS2))
 (3 3 (:REWRITE SUBSETP-TRANS))
 (3 3 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE CDR-CONS))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 (1 1 (:REWRITE CAR-CONS))
 )
(VL::VL-MODULELIST-PORTDECL-SIGN-OF-VL-MODULELIST-FIX-X
 (63 7 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (38 12 (:REWRITE DEFAULT-CDR))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (22 11 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (20 20 (:REWRITE VL::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (18 3 (:REWRITE VL::VL-MODULELIST-P-OF-CDR-WHEN-VL-MODULELIST-P))
 (14 14 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (14 7 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (11 11 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (7 7 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (7 7 (:REWRITE SET::IN-SET))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (7 7 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (7 7 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (6 4 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (3 3 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(VL::VL-MODULELIST-PORTDECL-SIGN-VL-MODULELIST-EQUIV-CONGRUENCE-ON-X)
(VL::VL-MODULELIST-PORTDECL-SIGN-NIL-PRESERVINGP-LEMMA)
(VL::VL-MODULELIST-PORTDECL-SIGN-OF-UPDATE-NTH
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (10 5 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (5 5 (:REWRITE CONSP-BY-LEN))
 (5 5 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(VL::VL-MODULELIST-PORTDECL-SIGN-OF-REVAPPEND)
(VL::NTHCDR-OF-VL-MODULELIST-PORTDECL-SIGN)
(VL::NTH-OF-VL-MODULELIST-PORTDECL-SIGN)
(VL::VL-MODULELIST-PORTDECL-SIGN-OF-TAKE)
(VL::SET-EQUIV-CONGRUENCE-OVER-VL-MODULELIST-PORTDECL-SIGN)
(VL::SUBSETP-OF-VL-MODULELIST-PORTDECL-SIGN-WHEN-SUBSETP)
(VL::MEMBER-OF-VL-MODULE-PORTDECL-SIGN-IN-VL-MODULELIST-PORTDECL-SIGN)
(VL::VL-MODULELIST-PORTDECL-SIGN-NREV-REMOVAL
 (205 5 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (132 3 (:REWRITE LIST-FIX-WHEN-LEN-ZERO))
 (45 3 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (45 3 (:REWRITE |(equal 0 (len x))|))
 (42 3 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (42 3 (:REWRITE LIST-FIX-WHEN-NOT-CONSP))
 (42 3 (:REWRITE LEN-WHEN-ATOM))
 (39 3 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (36 3 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (34 34 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (34 34 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (34 17 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (26 26 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (18 3 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (17 17 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (17 17 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (17 17 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (17 17 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (17 17 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (17 17 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (17 17 (:REWRITE CONSP-BY-LEN))
 (12 3 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (6 6 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (6 6 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (6 6 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (6 6 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (6 6 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (6 6 (:LINEAR LEN-WHEN-PREFIXP))
 (6 3 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (6 3 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (6 3 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (6 3 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (6 3 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (3 3 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (3 3 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (3 3 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (3 3 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (3 3 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (3 3 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (3 3 (:REWRITE VL::STRING-LISTP-WHEN-SUBSET))
 (3 3 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE SET::IN-SET))
 (3 3 (:REWRITE FN-CHECK-DEF-FORMALS))
 (3 3 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (3 3 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (3 3 (:LINEAR INDEX-OF-<-LEN))
 (3 3 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (2 2 (:TYPE-PRESCRIPTION TYPE-OF-RCONS))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(VL::VL-MODULELIST-PORTDECL-SIGN-EXEC-REMOVAL
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (10 5 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (5 5 (:REWRITE CONSP-BY-LEN))
 (5 5 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(VL::VL-MODULELIST-PORTDECL-SIGN-OF-REV)
(VL::VL-MODULELIST-PORTDECL-SIGN-OF-LIST-FIX)
(VL::VL-MODULELIST-PORTDECL-SIGN-OF-APPEND)
(VL::CDR-OF-VL-MODULELIST-PORTDECL-SIGN)
(VL::CAR-OF-VL-MODULELIST-PORTDECL-SIGN)
(VL::VL-MODULELIST-PORTDECL-SIGN-UNDER-IFF)
(VL::CONSP-OF-VL-MODULELIST-PORTDECL-SIGN)
(VL::LEN-OF-VL-MODULELIST-PORTDECL-SIGN)
(VL::TRUE-LISTP-OF-VL-MODULELIST-PORTDECL-SIGN)
(VL::VL-MODULELIST-PORTDECL-SIGN-WHEN-NOT-CONSP)
(VL::VL-MODULELIST-PORTDECL-SIGN-OF-CONS)
(VL::VL-MODULELIST-PORTDECL-SIGN-NREV
 (113 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (73 2 (:REWRITE VL::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (69 1 (:REWRITE VL::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (64 7 (:REWRITE DEFAULT-CAR))
 (49 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (30 2 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (28 2 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (26 2 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (24 12 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (24 2 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (21 7 (:REWRITE DEFAULT-CDR))
 (18 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (16 7 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (14 14 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (14 2 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (12 2 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 9 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (9 9 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (8 8 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (8 2 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (8 2 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (7 7 (:REWRITE SET::IN-SET))
 (4 4 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (4 4 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (4 4 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (4 4 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-MODULE-P))
 (2 2 (:REWRITE VL::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSET))
 (2 2 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE FN-CHECK-DEF-FORMALS))
 (2 2 (:REWRITE CONSP-OF-CDDR-BY-LEN))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::VL-MODULELIST-PORTDECL-SIGN)
(VL::VL-MODULELIST-PORTDECL-SIGN-EXEC
 (113 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-FIRST-TWO-SAME-YADA-YADA))
 (73 2 (:REWRITE VL::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (69 1 (:REWRITE VL::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (64 7 (:REWRITE DEFAULT-CAR))
 (49 3 (:REWRITE VL::SUBSETP-EQUAL-WHEN-CDR-ATOM))
 (21 7 (:REWRITE DEFAULT-CDR))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 10 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (18 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (14 14 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (14 2 (:REWRITE VL::PROMOTE-MEMBER-EQUAL-TO-MEMBERSHIP))
 (12 5 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (10 10 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (10 10 (:REWRITE CONSP-BY-LEN))
 (9 9 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (8 8 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (8 4 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (8 2 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (7 7 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (5 5 (:REWRITE SET::IN-SET))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-MODULE-P))
 (2 2 (:REWRITE VL::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE CONSP-OF-CDDR-BY-LEN))
 )
(VL::VL-DESIGN-PORTDECL-SIGN)
(VL::VL-DESIGN-P-OF-VL-DESIGN-PORTDECL-SIGN)
(VL::VL-DESIGN-PORTDECL-SIGN-OF-VL-DESIGN-FIX-X
 (15 2 (:REWRITE VL::VL-MODULELIST-PORTDECL-SIGN-WHEN-NOT-CONSP))
 (8 1 (:REWRITE VL::VL-DESIGN-FIX-WHEN-VL-DESIGN-P))
 (5 1 (:REWRITE VL::VL-DESIGN-P-WHEN-VL-MAYBE-DESIGN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-DESIGN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DESIGN-P))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 1 (:REWRITE VL::VL-MAYBE-DESIGN-P-WHEN-VL-DESIGN-P))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(VL::VL-DESIGN-PORTDECL-SIGN-VL-DESIGN-EQUIV-CONGRUENCE-ON-X)
