(VL2014::VL-STMT-IFMERGE
 (39 2 (:REWRITE NATP-POSP))
 (20 1 (:REWRITE VL2014::NATP-WHEN-POSP))
 (15 5 (:REWRITE DEFAULT-<-2))
 (15 5 (:REWRITE DEFAULT-<-1))
 (10 2 (:REWRITE POSP-RW))
 (9 1 (:REWRITE NATP-RW))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (6 6 (:REWRITE VL2014::VL-ATOMICSTMT-P-WHEN-MEMBER-EQUAL-OF-VL-ATOMICSTMTLIST-P))
 (6 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (5 5 (:TYPE-PRESCRIPTION NATP))
 (5 5 (:META CANCEL_PLUS-LESSP-CORRECT))
 (4 4 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:REWRITE VL2014::VL-EXPR-WELLTYPED-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLIST-WELLTYPED-P))
 (2 2 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (2 2 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (1 1 (:TYPE-PRESCRIPTION BINARY-APPEND-WITHOUT-GUARD))
 )
(VL2014::VL-STMT-IFMERGE-FLAG
 (39 2 (:REWRITE NATP-POSP))
 (26 7 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (20 1 (:REWRITE VL2014::NATP-WHEN-POSP))
 (15 5 (:REWRITE DEFAULT-<-2))
 (15 5 (:REWRITE DEFAULT-<-1))
 (10 2 (:REWRITE POSP-RW))
 (9 1 (:REWRITE NATP-RW))
 (7 7 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (7 7 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:REWRITE VL2014::VL-ATOMICSTMT-P-WHEN-MEMBER-EQUAL-OF-VL-ATOMICSTMTLIST-P))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (6 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (5 5 (:TYPE-PRESCRIPTION NATP))
 (5 5 (:META CANCEL_PLUS-LESSP-CORRECT))
 (4 4 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (4 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:REWRITE SET::IN-SET))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:REWRITE VL2014::VL-EXPR-WELLTYPED-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLIST-WELLTYPED-P))
 (2 2 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (2 2 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(VL2014::VL-STMT-IFMERGE-FLAG-EQUIVALENCES)
(VL2014::FLAG-LEMMA-FOR-RETURN-TYPE-OF-VL-STMT-IFMERGE.WARNINGS
 (3484 166 (:REWRITE VL2014::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (2486 134 (:REWRITE VL2014::VL-STMTLIST-P-WHEN-NOT-CONSP))
 (1833 94 (:REWRITE NATP-POSP))
 (1165 63 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (940 47 (:REWRITE VL2014::NATP-WHEN-POSP))
 (827 63 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (808 808 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (808 808 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (769 404 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (552 248 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (470 94 (:REWRITE POSP-RW))
 (423 47 (:REWRITE NATP-RW))
 (416 416 (:REWRITE VL2014::VL-ATOMICSTMT-P-WHEN-MEMBER-EQUAL-OF-VL-ATOMICSTMTLIST-P))
 (365 365 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (365 365 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (365 365 (:REWRITE CONSP-BY-LEN))
 (282 94 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (248 248 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (248 248 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (235 235 (:TYPE-PRESCRIPTION NATP))
 (188 188 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (188 188 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (100 20 (:REWRITE VL2014::VL-STMT-FIX-WHEN-VL-STMT-P))
 (94 94 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (94 94 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (86 71 (:REWRITE SUBSETP-TRANS2))
 (82 82 (:REWRITE VL2014::VL-EXPR-WELLTYPED-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLIST-WELLTYPED-P))
 (71 71 (:REWRITE SUBSETP-TRANS))
 (51 2 (:REWRITE SUBSETP-APPEND1))
 (48 48 (:REWRITE VL2014::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (42 32 (:REWRITE DEFAULT-CAR))
 (40 40 (:TYPE-PRESCRIPTION VL2014::VL-STMT-P))
 (40 40 (:REWRITE VL2014::VL-STMT-P-WHEN-MEMBER-EQUAL-OF-VL-STMTLIST-P))
 (32 32 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (32 32 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (28 28 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (28 14 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (25 1 (:REWRITE SUBSETP-OF-CONS))
 (24 24 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (22 22 (:REWRITE-QUOTED-CONSTANT VL2014::VL-STMT-FIX-UNDER-VL-STMT-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (17 17 (:REWRITE DEFAULT-CDR))
 (14 14 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (14 14 (:REWRITE SET::IN-SET))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (12 2 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (12 2 (:REWRITE LEN-WHEN-ATOM))
 (12 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-BLOCKITEMLIST-FIX-UNDER-VL-BLOCKITEMLIST-EQUIV))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE SUBSETP-NIL))
 )
(VL2014::RETURN-TYPE-OF-VL-STMT-IFMERGE.WARNINGS)
(VL2014::RETURN-TYPE-OF-VL-STMT-IFMERGE.FLAT-STMTS)
(VL2014::RETURN-TYPE-OF-VL-STMTLIST-IFMERGE.WARNINGS)
(VL2014::RETURN-TYPE-OF-VL-STMTLIST-IFMERGE.FLAT-STMTS)
(VL2014::VL-STMT-IFMERGE
 (1549 5 (:DEFINITION VL2014::VL-STMT-IFMERGE))
 (1443 74 (:REWRITE NATP-POSP))
 (740 37 (:REWRITE VL2014::NATP-WHEN-POSP))
 (500 20 (:REWRITE VL2014::VL-WARNINGLIST-FIX-OF-CONS))
 (460 20 (:REWRITE VL2014::VL-WARNING-FIX-WHEN-VL-WARNING-P))
 (444 52 (:REWRITE VL2014::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (370 74 (:REWRITE POSP-RW))
 (333 37 (:REWRITE NATP-RW))
 (298 142 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (270 40 (:REWRITE VL2014::VL-STMT-FIX-WHEN-VL-STMT-P))
 (238 50 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (222 74 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (222 6 (:REWRITE SUBSETP-OF-CONS))
 (185 185 (:TYPE-PRESCRIPTION NATP))
 (148 148 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (148 148 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (142 142 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (142 142 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (134 8 (:REWRITE LEN-WHEN-ATOM))
 (129 129 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (126 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (126 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (116 11 (:REWRITE VL2014::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (112 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (112 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (112 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (112 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (112 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (112 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (112 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (108 108 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (98 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (98 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (98 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (98 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (98 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (98 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (84 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (74 74 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (74 74 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (72 72 (:REWRITE VL2014::VL-ATOMICSTMT-P-WHEN-MEMBER-EQUAL-OF-VL-ATOMICSTMTLIST-P))
 (72 72 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (72 72 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (58 58 (:REWRITE VL2014::VL-EXPR-WELLTYPED-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLIST-WELLTYPED-P))
 (54 54 (:REWRITE SUBSETP-TRANS2))
 (54 54 (:REWRITE SUBSETP-TRANS))
 (52 52 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (52 10 (:REWRITE DEFAULT-CAR))
 (50 50 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (44 2 (:REWRITE VL2014::VL-STMTLIST-P-WHEN-NOT-CONSP))
 (38 38 (:REWRITE SUBSETP-MEMBER . 2))
 (38 38 (:REWRITE SUBSETP-MEMBER . 1))
 (31 31 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-VARDECL-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-TYPEDEF-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-TASKDECL-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-PORTDECL-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-PARAMDECL-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-MODPORT-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-MODINST-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-INITIAL-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-IMPORT-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-GENVAR-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-GATEINST-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-FWDTYPEDEF-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-FUNDECL-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-ASSIGN-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-ALWAYS-P))
 (28 28 (:TYPE-PRESCRIPTION VL2014::VL-ALIAS-P))
 (28 28 (:REWRITE VL2014::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (28 28 (:REWRITE VL2014::VL-TYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-TYPEDEFLIST-P))
 (28 28 (:REWRITE VL2014::VL-TASKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-TASKDECLLIST-P))
 (28 28 (:REWRITE VL2014::VL-PORTDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PORTDECLLIST-P))
 (28 28 (:REWRITE VL2014::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (28 28 (:REWRITE VL2014::VL-MODPORT-P-WHEN-MEMBER-EQUAL-OF-VL-MODPORTLIST-P))
 (28 28 (:REWRITE VL2014::VL-MODINST-P-WHEN-MEMBER-EQUAL-OF-VL-MODINSTLIST-P))
 (28 28 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (28 28 (:REWRITE VL2014::VL-INITIAL-P-WHEN-MEMBER-EQUAL-OF-VL-INITIALLIST-P))
 (28 28 (:REWRITE VL2014::VL-IMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-IMPORTLIST-P))
 (28 28 (:REWRITE VL2014::VL-GENVAR-P-WHEN-MEMBER-EQUAL-OF-VL-GENVARLIST-P))
 (28 28 (:REWRITE VL2014::VL-GATEINST-P-WHEN-MEMBER-EQUAL-OF-VL-GATEINSTLIST-P))
 (28 28 (:REWRITE VL2014::VL-FWDTYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-FWDTYPEDEFLIST-P))
 (28 28 (:REWRITE VL2014::VL-FUNDECL-P-WHEN-MEMBER-EQUAL-OF-VL-FUNDECLLIST-P))
 (28 28 (:REWRITE VL2014::VL-ASSIGN-P-WHEN-MEMBER-EQUAL-OF-VL-ASSIGNLIST-P))
 (28 28 (:REWRITE VL2014::VL-ALWAYS-P-WHEN-MEMBER-EQUAL-OF-VL-ALWAYSLIST-P))
 (28 28 (:REWRITE VL2014::VL-ALIAS-P-WHEN-MEMBER-EQUAL-OF-VL-ALIASLIST-P))
 (27 27 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (20 20 (:TYPE-PRESCRIPTION VL2014::VL-WARNING-P))
 (14 14 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 14 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (14 14 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 14 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-TASKDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 14 (:REWRITE VL2014::VL-TASKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-TASKDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-PORTDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-PORTDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 14 (:REWRITE VL2014::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (14 14 (:REWRITE VL2014::VL-MODPORT-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 14 (:REWRITE VL2014::VL-MODPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-MODPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 14 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-INVALID-TAG))
 (14 14 (:REWRITE VL2014::VL-INITIAL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-INITIAL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (14 14 (:REWRITE VL2014::VL-GENVAR-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 14 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-FUNDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 14 (:REWRITE VL2014::VL-FUNDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-FUNDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-ALWAYS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-ALWAYS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-ALIAS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL2014::VL-ALIAS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (13 13 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (12 2 (:REWRITE VL2014::VL-ATOMICSTMT-P-OF-CAR-WHEN-VL-ATOMICSTMTLIST-P))
 (10 10 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (8 8 (:REWRITE VL2014::VL-EXPR-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLIST-P))
 (8 8 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (5 5 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (5 5 (:REWRITE-QUOTED-CONSTANT VL2014::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (5 5 (:REWRITE-QUOTED-CONSTANT VL2014::VL-BLOCKITEMLIST-FIX-UNDER-VL-BLOCKITEMLIST-EQUIV))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-ATOMICSTMTLIST-P))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE VL2014::VL-ATOMICSTMTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE VL2014::VL-ATOMICSTMTLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (2 2 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (2 2 (:LINEAR LEN-WHEN-PREFIXP))
 (1 1 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (1 1 (:LINEAR INDEX-OF-<-LEN))
 (1 1 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 )
(VL2014::VL-ALWAYS-IFMERGE
 (46 4 (:REWRITE LEN-WHEN-ATOM))
 (44 2 (:REWRITE VL2014::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (22 4 (:REWRITE VL2014::VL-ALWAYS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (22 4 (:REWRITE VL2014::VL-ALWAYS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (20 10 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (16 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (16 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (16 8 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (16 2 (:REWRITE DEFAULT-CAR))
 (12 6 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (10 10 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (10 10 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (8 8 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (8 8 (:REWRITE VL2014::VL-ALWAYS-P-WHEN-MEMBER-EQUAL-OF-VL-ALWAYSLIST-P))
 (8 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (8 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (8 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (7 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (7 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (6 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (4 4 (:REWRITE VL2014::VL-STMT-P-WHEN-MEMBER-EQUAL-OF-VL-STMTLIST-P))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-TYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MODPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-INITIAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-IMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-GENVAR-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-FWDTYPEDEF-P))
 (2 2 (:REWRITE VL2014::VL-TYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-TYPEDEFLIST-P))
 (2 2 (:REWRITE VL2014::VL-MODPORT-P-WHEN-MEMBER-EQUAL-OF-VL-MODPORTLIST-P))
 (2 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE VL2014::VL-INITIAL-P-WHEN-MEMBER-EQUAL-OF-VL-INITIALLIST-P))
 (2 2 (:REWRITE VL2014::VL-IMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-IMPORTLIST-P))
 (2 2 (:REWRITE VL2014::VL-GENVAR-P-WHEN-MEMBER-EQUAL-OF-VL-GENVARLIST-P))
 (2 2 (:REWRITE VL2014::VL-FWDTYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-FWDTYPEDEFLIST-P))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (2 2 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (2 2 (:LINEAR LEN-WHEN-PREFIXP))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-BLOCKITEMLIST-FIX-UNDER-VL-BLOCKITEMLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (1 1 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-MODPORT-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (1 1 (:REWRITE VL2014::VL-MODPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-MODPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-INVALID-TAG))
 (1 1 (:REWRITE VL2014::VL-INITIAL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-INITIAL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (1 1 (:REWRITE VL2014::VL-GENVAR-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (1 1 (:REWRITE VL2014::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (1 1 (:LINEAR INDEX-OF-<-LEN))
 (1 1 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 )
(VL2014::VL-WARNINGLIST-P-OF-VL-ALWAYS-IFMERGE.WARNINGS
 (22 1 (:REWRITE LEN-WHEN-ATOM))
 (8 1 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (4 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:REWRITE CONSP-BY-LEN))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-BLOCKITEMLIST-FIX-UNDER-VL-BLOCKITEMLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-ALWAYS-P-OF-VL-ALWAYS-IFMERGE.NEW-X
 (61 1 (:REWRITE VL2014::VL-ALWAYS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (57 1 (:REWRITE VL2014::VL-ALWAYS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (22 1 (:REWRITE LEN-WHEN-ATOM))
 (8 1 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (4 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-REGULARPORT-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-INTERFACEPORT-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-GENELEMENT-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-ALIAS-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-VARDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-TYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-TASKDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-PORTDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-PARAMDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MODPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MODINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MODELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-INITIAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-IMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-GATEINST-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-FWDTYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-FUNDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-CTXELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-ASSIGN-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-ALIAS-P))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE VL2014::VL-ALWAYS-P-WHEN-MEMBER-EQUAL-OF-VL-ALWAYSLIST-P))
 (2 2 (:REWRITE VL2014::TAG-OF-VL-ALWAYS))
 (2 2 (:REWRITE CONSP-BY-LEN))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-REGULARPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACEPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-GENVAR-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-GENELEMENT-P))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-BLOCKITEMLIST-FIX-UNDER-VL-BLOCKITEMLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-ALWAYSLIST-IFMERGE
 (22 1 (:REWRITE VL2014::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (22 1 (:REWRITE VL2014::VL-ALWAYSLIST-P-WHEN-NOT-CONSP))
 (16 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (16 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (16 8 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (8 8 (:REWRITE CONSP-BY-LEN))
 (7 1 (:REWRITE VL2014::VL-ALWAYS-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (7 1 (:REWRITE VL2014::VL-ALWAYS-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (4 2 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 1 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (3 3 (:REWRITE SUBSETP-TRANS2))
 (3 3 (:REWRITE SUBSETP-TRANS))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::VL-WARNINGLIST-P-OF-VL-ALWAYSLIST-IFMERGE.WARNINGS
 (44 2 (:REWRITE VL2014::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (27 1 (:REWRITE VL2014::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (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 VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-ALWAYSLIST-P-OF-VL-ALWAYSLIST-IFMERGE.NEW-X
 (31 1 (:REWRITE SUBSETP-OF-CONS))
 (27 1 (:REWRITE VL2014::VL-WARNINGLIST-FIX-WHEN-VL-WARNINGLIST-P))
 (22 1 (:REWRITE VL2014::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (15 2 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (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))
 (6 6 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (3 3 (:REWRITE SUBSETP-TRANS2))
 (3 3 (:REWRITE SUBSETP-TRANS))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-WARNINGLIST-P))
 (2 2 (:REWRITE VL2014::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))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-MODULE-IFMERGE
 (38 8 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (38 8 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (20 10 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (20 10 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (10 10 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (10 10 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (10 10 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (10 10 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 )
(VL2014::VL-MODULE-P-OF-VL-MODULE-IFMERGE
 (50 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (48 2 (:REWRITE VL2014::VL-MODULE-FIX-WHEN-VL-MODULE-P))
 (29 3 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (26 4 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (26 4 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (20 6 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (12 6 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (8 8 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (7 7 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-MODULELIST-IFMERGE-EXEC)
(VL2014::VL-MODULELIST-IFMERGE-NREV)
(VL2014::VL-MODULELIST-IFMERGE)
(VL2014::VL-MODULELIST-IFMERGE-NIL-PRESERVINGP-LEMMA)
(VL2014::VL-MODULELIST-IFMERGE-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 VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (5 5 (:REWRITE CONSP-BY-LEN))
 (5 5 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(VL2014::VL-MODULELIST-IFMERGE-OF-REVAPPEND)
(VL2014::NTHCDR-OF-VL-MODULELIST-IFMERGE)
(VL2014::NTH-OF-VL-MODULELIST-IFMERGE)
(VL2014::VL-MODULELIST-IFMERGE-NREV-REMOVAL
 (226 5 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (180 3 (:REWRITE LIST-FIX-WHEN-LEN-ZERO))
 (69 3 (:REWRITE |(equal 0 (len x))|))
 (66 3 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (66 3 (:REWRITE LIST-FIX-WHEN-NOT-CONSP))
 (66 3 (:REWRITE LEN-WHEN-ATOM))
 (42 3 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (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 VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (17 17 (:REWRITE CONSP-BY-LEN))
 (15 15 (:TYPE-PRESCRIPTION LEN))
 (12 3 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (6 6 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (6 6 (:TYPE-PRESCRIPTION STRING-LISTP))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (6 6 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (6 6 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (6 6 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::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 STR::OCT-DIGIT-CHAR-LISTP))
 (3 3 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (3 3 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (3 3 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (3 3 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (3 3 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (3 3 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (3 3 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (3 3 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (3 3 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (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))
 )
(VL2014::VL-MODULELIST-IFMERGE-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 VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (5 5 (:REWRITE CONSP-BY-LEN))
 (5 5 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(VL2014::VL-MODULELIST-IFMERGE-OF-TAKE)
(VL2014::SET-EQUIV-CONGRUENCE-OVER-VL-MODULELIST-IFMERGE)
(VL2014::SUBSETP-OF-VL-MODULELIST-IFMERGE-WHEN-SUBSETP)
(VL2014::MEMBER-OF-VL-MODULE-IFMERGE-IN-VL-MODULELIST-IFMERGE)
(VL2014::VL-MODULELIST-IFMERGE-OF-REV)
(VL2014::VL-MODULELIST-IFMERGE-OF-LIST-FIX)
(VL2014::VL-MODULELIST-IFMERGE-OF-APPEND)
(VL2014::CDR-OF-VL-MODULELIST-IFMERGE)
(VL2014::CAR-OF-VL-MODULELIST-IFMERGE)
(VL2014::VL-MODULELIST-IFMERGE-UNDER-IFF)
(VL2014::CONSP-OF-VL-MODULELIST-IFMERGE)
(VL2014::LEN-OF-VL-MODULELIST-IFMERGE)
(VL2014::TRUE-LISTP-OF-VL-MODULELIST-IFMERGE)
(VL2014::VL-MODULELIST-IFMERGE-WHEN-NOT-CONSP)
(VL2014::VL-MODULELIST-IFMERGE-OF-CONS)
(VL2014::VL-MODULELIST-IFMERGE-NREV
 (44 2 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (33 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (28 2 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (26 2 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (24 2 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (20 1 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (12 2 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE VL2014::FIRST-UNDER-IFF-WHEN-VL-EXPRLIST-P))
 (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))
 (8 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (8 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (8 2 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (8 2 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (4 4 (:TYPE-PRESCRIPTION STRING-LISTP))
 (4 4 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (4 4 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (4 4 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (4 4 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (4 4 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (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 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-EXPRLIST-P))
 (2 2 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (2 2 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (2 2 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (2 2 (:REWRITE VL2014::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 VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (2 2 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (2 2 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE FN-CHECK-DEF-FORMALS))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(VL2014::VL-MODULELIST-IFMERGE)
(VL2014::VL-MODULELIST-IFMERGE-EXEC
 (33 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (20 1 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (9 2 (:REWRITE VL2014::FIRST-UNDER-IFF-WHEN-VL-EXPRLIST-P))
 (8 4 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (8 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (8 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (8 2 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (3 3 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-EXPRLIST-P))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (2 2 (:REWRITE CONSP-BY-LEN))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(VL2014::VL-MODULELIST-P-OF-VL-MODULELIST-IFMERGE
 (199 2 (:REWRITE SUBSETP-OF-CONS))
 (92 4 (:REWRITE VL2014::CONSP-OF-VL-MODULELIST-IFMERGE))
 (75 6 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (71 5 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (56 6 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (47 2 (:REWRITE VL2014::MEMBER-OF-VL-MODULE-IFMERGE-IN-VL-MODULELIST-IFMERGE))
 (41 15 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (32 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (32 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (32 16 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (31 1 (:REWRITE VL2014::CDR-OF-VL-MODULELIST-IFMERGE))
 (30 2 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (29 1 (:REWRITE SUBSETP-CAR-MEMBER))
 (25 25 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (16 16 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (16 16 (:REWRITE CONSP-BY-LEN))
 (15 15 (:TYPE-PRESCRIPTION VL2014::TRUE-LISTP-OF-VL-MODULELIST-IFMERGE))
 (14 14 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (10 10 (:REWRITE SUBSETP-TRANS2))
 (10 10 (:REWRITE SUBSETP-TRANS))
 (9 9 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (9 9 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE SUBSETP-MEMBER . 1))
 (5 5 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (5 5 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (3 3 (:REWRITE CONSP-OF-CDDR-BY-LEN))
 )
(VL2014::VL-DESIGN-IFMERGE
 (22 1 (:REWRITE VL2014::VL-MODULELIST-IFMERGE-WHEN-NOT-CONSP))
 (17 5 (:REWRITE VL2014::VL-DESIGN-P-BY-TAG-WHEN-VL-SCOPE-P))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(VL2014::VL-DESIGN-P-OF-VL-DESIGN-IFMERGE
 (36 3 (:REWRITE VL2014::VL-DESIGN-P-BY-TAG-WHEN-VL-SCOPE-P))
 (22 1 (:REWRITE VL2014::VL-MODULELIST-IFMERGE-WHEN-NOT-CONSP))
 (15 1 (:REWRITE VL2014::VL-DESIGN-FIX-WHEN-VL-DESIGN-P))
 (3 1 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-SCOPEINFO-P))
 (3 1 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-PACKAGE-P))
 (3 1 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-MODULE-P))
 (3 1 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-INTERFACE-P))
 (3 1 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-GENBLOB-P))
 (3 1 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-DESIGN-P))
 (3 1 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-BLOCKSCOPE-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-SCOPE-P))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-SCOPEINFO-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-PACKAGE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-MODULE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-GENBLOB-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-BLOCKSCOPE-P))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (1 1 (:REWRITE VL2014::TAG-OF-VL-DESIGN))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
