(VL2014::CROCK
 (30 3 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (30 3 (:REWRITE DEFAULT-CAR))
 (24 3 (:REWRITE VL2014::FIRST-UNDER-IFF-WHEN-VL-EXPRLIST-P))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (12 6 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-EXPRLIST-P))
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 6 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (6 6 (:REWRITE CONSP-BY-LEN))
 (3 3 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (3 3 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-MAKE-CONSTDELAY)
(VL2014::VL-GATEDELAY-P-OF-VL-MAKE-CONSTDELAY)
(VL2014::VL-SIMPLEDELAY-P
 (36 36 (:REWRITE VL2014::VL-EXPR-RESOLVED-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLIST-RESOLVED-P))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-SIMPLEDELAY->AMOUNT)
(VL2014::NATP-OF-VL-SIMPLEDELAY->AMOUNT)
(VL2014::VL-MAKE-M-BIT-DELAY-INSTS
 (1280 16 (:REWRITE VL2014::STRINGP-WHEN-TRUE-LISTP))
 (448 16 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (400 21 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (264 21 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (259 16 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (256 24 (:REWRITE VL2014::NATP-WHEN-POSP))
 (236 236 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (236 118 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (224 16 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (208 16 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (204 204 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (201 201 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (192 16 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (153 3 (:REWRITE MEMBER-OF-CAR))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (118 118 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (118 118 (:REWRITE CONSP-BY-LEN))
 (114 6 (:REWRITE DEFAULT-CAR))
 (112 8 (:REWRITE NATP-POSP))
 (104 8 (:REWRITE POSP-RW))
 (102 51 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (101 20 (:REWRITE DEFAULT-CDR))
 (96 16 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (96 16 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (93 9 (:REWRITE VL2014::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (78 78 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (78 78 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (78 78 (:LINEAR LEN-WHEN-PREFIXP))
 (78 3 (:REWRITE VL2014::VL-EXPR-P-OF-CAR-WHEN-VL-EXPRLIST-P))
 (64 16 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (56 24 (:REWRITE NATP-RW))
 (52 13 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (48 48 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (48 48 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (39 39 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (39 39 (:LINEAR INDEX-OF-<-LEN))
 (39 39 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (36 36 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (34 1 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (32 32 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (32 32 (:TYPE-PRESCRIPTION POSP))
 (32 32 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (32 32 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (32 32 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (32 32 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (32 32 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (32 32 (:REWRITE VL2014::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (32 32 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (32 32 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (32 16 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (32 16 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (32 16 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (32 16 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (32 16 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (28 14 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (25 25 (:REWRITE SUBSETP-TRANS2))
 (25 25 (:REWRITE SUBSETP-TRANS))
 (19 19 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (16 16 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (16 16 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (16 16 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (16 16 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (16 16 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (16 16 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (16 16 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (16 16 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (16 16 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (16 16 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (16 16 (:REWRITE SET::IN-SET))
 (16 16 (:REWRITE FN-CHECK-DEF-FORMALS))
 (16 16 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (14 14 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (14 14 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (13 13 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (12 12 (:REWRITE SUBSETP-MEMBER . 2))
 (12 12 (:REWRITE SUBSETP-MEMBER . 1))
 (8 5 (:REWRITE DEFAULT-+-2))
 (6 6 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (5 5 (:REWRITE DEFAULT-+-1))
 (5 2 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (4 4 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLISTLIST-P))
 (4 4 (:REWRITE VL2014::VL-PLAINARG-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLIST-P))
 (3 3 (:REWRITE EQUAL-CONSTANT-+))
 (2 2 (:TYPE-PRESCRIPTION ZP))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-DIRECTION-FIX-UNDER-VL-MAYBE-DIRECTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(VL2014::VL-MODINSTLIST-P-OF-VL-MAKE-M-BIT-DELAY-INSTS
 (1600 20 (:REWRITE VL2014::STRINGP-WHEN-TRUE-LISTP))
 (560 20 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (320 30 (:REWRITE VL2014::NATP-WHEN-POSP))
 (318 21 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (288 18 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (280 20 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (260 20 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (249 121 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (242 242 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (240 20 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (230 230 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (198 198 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (144 8 (:REWRITE VL2014::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (140 10 (:REWRITE NATP-POSP))
 (132 4 (:REWRITE VL2014::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (130 10 (:REWRITE POSP-RW))
 (122 2 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (120 20 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (120 20 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (120 16 (:REWRITE VL2014::VL-EXPR-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLIST-P))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (114 114 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (114 114 (:REWRITE CONSP-BY-LEN))
 (114 2 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (112 52 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (82 2 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (80 20 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (74 74 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (74 74 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (74 74 (:LINEAR LEN-WHEN-PREFIXP))
 (74 9 (:REWRITE VL2014::VL-MODINSTLIST-P-WHEN-NOT-CONSP))
 (70 30 (:REWRITE NATP-RW))
 (60 60 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (60 60 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (58 4 (:REWRITE DEFAULT-CAR))
 (54 2 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (49 11 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (44 44 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (44 44 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (40 40 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (40 40 (:TYPE-PRESCRIPTION POSP))
 (40 40 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (40 40 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (40 40 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (40 40 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (40 40 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (40 40 (:REWRITE VL2014::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (40 40 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (40 40 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (40 20 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (40 20 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (40 20 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (40 20 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (40 20 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (37 37 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (37 37 (:LINEAR INDEX-OF-<-LEN))
 (37 37 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (34 1 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (32 1 (:REWRITE SUBSETP-OF-CONS))
 (28 14 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (25 25 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (24 24 (:REWRITE SUBSETP-TRANS2))
 (24 24 (:REWRITE SUBSETP-TRANS))
 (20 20 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (20 20 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (20 20 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (20 20 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (20 20 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (20 20 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (20 20 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (20 20 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (20 20 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (20 20 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (20 20 (:REWRITE SET::IN-SET))
 (20 20 (:REWRITE FN-CHECK-DEF-FORMALS))
 (20 20 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (14 14 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (14 14 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (14 4 (:REWRITE VL2014::VL-MODINST-P-WHEN-MEMBER-EQUAL-OF-VL-MODINSTLIST-P))
 (12 12 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-EXPR-P))
 (12 10 (:REWRITE DEFAULT-+-2))
 (11 11 (:REWRITE SUBSETP-MEMBER . 2))
 (11 11 (:REWRITE SUBSETP-MEMBER . 1))
 (11 11 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (10 10 (:REWRITE DEFAULT-+-1))
 (8 8 (:TYPE-PRESCRIPTION VL2014::VL-VARDECL-P))
 (8 8 (:TYPE-PRESCRIPTION VL2014::VL-TASKDECL-P))
 (8 8 (:TYPE-PRESCRIPTION VL2014::VL-PARAMDECL-P))
 (8 8 (:TYPE-PRESCRIPTION VL2014::VL-MODINST-P))
 (8 8 (:TYPE-PRESCRIPTION VL2014::VL-GATEINST-P))
 (8 8 (:TYPE-PRESCRIPTION VL2014::VL-FUNDECL-P))
 (8 8 (:REWRITE VL2014::TAG-OF-VL-MODINST))
 (8 2 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-TYPEDEF-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-MODPORT-P))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-VARDECL-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-TYPEDEF-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-TASKDECL-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-PARAMDECL-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-MODPORT-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-MODINST-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-INTERFACEPORT-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-GENELEMENT-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-GATEINST-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-FUNDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODITEM-P-WHEN-VL-VARDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODITEM-P-WHEN-VL-TASKDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODITEM-P-WHEN-VL-PARAMDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODITEM-P-WHEN-VL-MODINST-P))
 (6 2 (:REWRITE VL2014::VL-MODITEM-P-WHEN-VL-GATEINST-P))
 (6 2 (:REWRITE VL2014::VL-MODITEM-P-WHEN-VL-FUNDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (6 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-VARDECL-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-TYPEDEF-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-TASKDECL-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-REGULARPORT-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-PORTDECL-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-PARAMDECL-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-MODPORT-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-MODINST-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-INTERFACEPORT-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-INITIAL-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-IMPORT-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-GENELEMENT-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-GATEINST-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-FUNDECL-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-ASSIGN-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-ALWAYS-P))
 (6 2 (:REWRITE VL2014::VL-CTXELEMENT-P-WHEN-VL-ALIAS-P))
 (4 4 (:TYPE-PRESCRIPTION ZP))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-SCOPEITEM-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-PORTDECL-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-MODITEM-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-MODELEMENT-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACEPORT-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-INITIAL-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-IMPORT-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-GENELEMENT-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-FWDTYPEDEF-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-CTXELEMENT-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-ASSIGN-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-ALWAYS-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-ALIAS-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-DIRECTION-FIX-UNDER-VL-MAYBE-DIRECTION-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (4 4 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEMLIST-P))
 (4 4 (:REWRITE VL2014::VL-MODITEM-P-WHEN-MEMBER-EQUAL-OF-VL-MODITEMLIST-P))
 (4 4 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (4 4 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (4 2 (:REWRITE VL2014::VL-SCOPEITEM-P-WHEN-VL-MAYBE-SCOPEITEM-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-REGULARPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-SCOPEITEM-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-GENVAR-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMARGS-FIX-UNDER-VL-PARAMARGS-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-RANGE-FIX-UNDER-VL-MAYBE-RANGE-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATESTRENGTH-FIX-UNDER-VL-MAYBE-GATESTRENGTH-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATEDELAY-FIX-UNDER-VL-MAYBE-GATEDELAY-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-LOCATION-FIX-UNDER-VL-LOCATION-EQUIV))
 (2 2 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE EQUAL-CONSTANT-+))
 )
(VL2014::VL-MAKE-N-BIT-DELAY-1-FN
 (168 4 (:REWRITE VL2014::VL-PORTLIST-P-WHEN-VL-INTERFACEPORTLIST-P))
 (148 6 (:REWRITE VL2014::VL-INTERFACEPORTLIST-P-OF-CONS))
 (134 4 (:REWRITE VL2014::VL-PORTLIST-P-WHEN-VL-REGULARPORTLIST-P))
 (114 6 (:REWRITE VL2014::VL-REGULARPORTLIST-P-OF-CONS))
 (61 1 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (57 1 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (51 27 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (48 24 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (34 10 (:REWRITE VL2014::VL-REGULARPORT-P-BY-TAG-WHEN-VL-PORT-P))
 (34 10 (:REWRITE VL2014::VL-REGULARPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (34 10 (:REWRITE VL2014::VL-INTERFACEPORT-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (34 10 (:REWRITE VL2014::VL-INTERFACEPORT-P-BY-TAG-WHEN-VL-PORT-P))
 (34 10 (:REWRITE VL2014::VL-INTERFACEPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (28 4 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-MODITEM-P))
 (27 27 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (27 27 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (24 24 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (24 24 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (24 2 (:REWRITE NATP-POSP))
 (20 20 (:REWRITE VL2014::VL-REGULARPORT-P-WHEN-MEMBER-EQUAL-OF-VL-REGULARPORTLIST-P))
 (20 20 (:REWRITE VL2014::VL-INTERFACEPORT-P-WHEN-MEMBER-EQUAL-OF-VL-INTERFACEPORTLIST-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::VL-REGULARPORT-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACEPORT-P))
 (14 14 (:TYPE-PRESCRIPTION |x < y  =>  0 < -x+y|))
 (12 12 (:REWRITE VL2014::VL-REGULARPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE VL2014::VL-INTERFACEPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (12 1 (:REWRITE VL2014::NATP-WHEN-POSP))
 (8 8 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL2014::VL-PORTLIST-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL2014::VL-PORTDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-REGULARPORTLIST-P-WHEN-NOT-CONSP))
 (6 6 (:REWRITE VL2014::VL-INTERFACEPORTLIST-P-WHEN-NOT-CONSP))
 (6 2 (:REWRITE POSP-RW))
 (5 5 (:TYPE-PRESCRIPTION NATP))
 (5 5 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (5 1 (:REWRITE NATP-RW))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-REGULARPORTLIST-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACEPORTLIST-P))
 (4 4 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (4 4 (:REWRITE VL2014::VL-PORTLIST-P-WHEN-NOT-CONSP))
 (4 4 (:REWRITE VL2014::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (4 4 (:REWRITE VL2014::VL-EXPRLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::TRUE-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (3 3 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (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-ALWAYS-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-ALIAS-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-DIRECTION-FIX-UNDER-VL-MAYBE-DIRECTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-LOCATION-FIX-UNDER-VL-LOCATION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-DIRECTION-FIX-UNDER-VL-DIRECTION-EQUIV))
 (2 2 (:REWRITE VL2014::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE VL2014::VL-EXPRLISTLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::VL-ASSIGNLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-ASSIGN-P-WHEN-MEMBER-EQUAL-OF-VL-ASSIGNLIST-P))
 (2 2 (:REWRITE VL2014::TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::TAG-OF-VL-ASSIGN))
 (2 2 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (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-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 (2 2 (:META CANCEL_PLUS-LESSP-CORRECT))
 (2 1 (:REWRITE DEFAULT-CDR))
 (2 1 (:REWRITE DEFAULT-CAR))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-GENVAR-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-GENELEMENT-P))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODULE-FIX-UNDER-VL-MODULE-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-MODULE-FIX-UNDER-VL-MAYBE-MODULE-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATESTRENGTH-FIX-UNDER-VL-MAYBE-GATESTRENGTH-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATEDELAY-FIX-UNDER-VL-MAYBE-GATEDELAY-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (1 1 (:REWRITE VL2014::VL-ASSIGNLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-MODULELIST-P-OF-VL-MAKE-N-BIT-DELAY-1
 (72 6 (:REWRITE NATP-POSP))
 (58 4 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (44 4 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (36 3 (:REWRITE VL2014::NATP-WHEN-POSP))
 (32 32 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-DIRECTION-FIX-UNDER-VL-MAYBE-DIRECTION-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT VL2014::VL-DIRECTION-FIX-UNDER-VL-DIRECTION-EQUIV))
 (18 6 (:REWRITE POSP-RW))
 (15 15 (:TYPE-PRESCRIPTION NATP))
 (15 3 (:REWRITE NATP-RW))
 (12 12 (:REWRITE-QUOTED-CONSTANT VL2014::VL-LOCATION-FIX-UNDER-VL-LOCATION-EQUIV))
 (12 12 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (12 12 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (12 6 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (8 8 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GENELEMENTLIST-FIX-UNDER-VL-GENELEMENTLIST-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (6 6 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 2 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-UDP-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-PROGRAM-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-MODULE-P))
 (6 2 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-INTERFACE-P))
 (6 2 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-SCOPEINFO-P))
 (6 2 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-PACKAGE-P))
 (6 2 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-MODULE-P))
 (6 2 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-INTERFACE-P))
 (6 2 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-GENBLOB-P))
 (6 2 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-DESIGN-P))
 (6 2 (:REWRITE VL2014::VL-SCOPE-P-WHEN-VL-BLOCKSCOPE-P))
 (5 5 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-SCOPEDEF-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-SCOPE-P))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACE-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-WARNINGLIST-FIX-UNDER-VL-WARNINGLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-TASKDECLLIST-FIX-UNDER-VL-TASKDECLLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PORTLIST-FIX-UNDER-VL-PORTLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PORTDECLLIST-FIX-UNDER-VL-PORTDECLLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-INITIALLIST-FIX-UNDER-VL-INITIALLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GENVARLIST-FIX-UNDER-VL-GENVARLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GATEINSTLIST-FIX-UNDER-VL-GATEINSTLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-FUNDECLLIST-FIX-UNDER-VL-FUNDECLLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-COMMENTMAP-FIX-UNDER-VL-COMMENTMAP-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ASSIGNLIST-FIX-UNDER-VL-ASSIGNLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ALWAYSLIST-FIX-UNDER-VL-ALWAYSLIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ALIASLIST-FIX-UNDER-VL-ALIASLIST-EQUIV))
 (4 4 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEFLIST-P))
 (4 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (4 4 (:REWRITE VL2014::TAG-OF-VL-MODULE))
 (4 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-+-1))
 (3 3 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (3 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-UDP-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-SCOPEINFO-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-PROGRAM-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-PACKAGE-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-GENBLOB-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-DESIGN-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-BLOCKSCOPE-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODULE-FIX-UNDER-VL-MODULE-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODINSTLIST-FIX-UNDER-VL-MODINSTLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-MODULE-FIX-UNDER-VL-MAYBE-MODULE-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATESTRENGTH-FIX-UNDER-VL-MAYBE-GATESTRENGTH-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATEDELAY-FIX-UNDER-VL-MAYBE-GATEDELAY-EQUIV))
 )
(VL2014::TYPE-OF-VL-MAKE-N-BIT-DELAY-1)
(VL2014::VL-MAKE-1-BIT-DELAY-M
 (56 11 (:REWRITE VL2014::NATP-WHEN-POSP))
 (44 3 (:REWRITE NATP-POSP))
 (34 26 (:REWRITE DEFAULT-+-2))
 (32 26 (:REWRITE DEFAULT-+-1))
 (22 22 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (16 6 (:REWRITE LEN-WHEN-ATOM))
 (14 3 (:REWRITE POSP-RW))
 (8 8 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (7 1 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-MODITEM-P))
 (6 6 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (6 5 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (5 1 (:REWRITE NATP-RW))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 2 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (4 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (4 1 (:REWRITE EQUAL-CONSTANT-+))
 (4 1 (:REWRITE VL2014::|(< c2 (+ c1 a))|))
 (3 3 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (2 2 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (2 2 (:META CANCEL_PLUS-LESSP-CORRECT))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (2 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-LOCATION-FIX-UNDER-VL-LOCATION-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 )
(VL2014::VL-MODULELIST-P-OF-VL-MAKE-1-BIT-DELAY-M
 (55 7 (:REWRITE DEFAULT-+-2))
 (44 2 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (38 2 (:REWRITE VL2014::RATIONALP-WHEN-INTEGERP))
 (32 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (29 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (22 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (16 2 (:REWRITE VL2014::NATP-WHEN-POSP))
 (12 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (9 3 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (8 8 (:REWRITE-QUOTED-CONSTANT VL2014::VL-LOCATION-FIX-UNDER-VL-LOCATION-EQUIV))
 (7 7 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (7 7 (:REWRITE DEFAULT-+-1))
 (6 6 (:TYPE-PRESCRIPTION NATP))
 (4 4 (:TYPE-PRESCRIPTION ZP))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION POSP))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GENELEMENTLIST-FIX-UNDER-VL-GENELEMENTLIST-EQUIV))
 (4 4 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE RATIONALP-WHEN-MEMBER-EQUAL-OF-RATIONAL-LISTP))
 (4 4 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (4 4 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (4 4 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 4 (:REWRITE ACL2-NUMBERP-WHEN-MEMBER-EQUAL-OF-ACL2-NUMBER-LISTP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 2 (:REWRITE NATP-POSP))
 (4 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (3 3 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (3 1 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-UDP-P))
 (3 1 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-PROGRAM-P))
 (3 1 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-MODULE-P))
 (3 1 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-INTERFACE-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-SCOPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-SCOPE-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MAKE-LIST-OF-BITSELECTS))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACE-P))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-WARNINGLIST-FIX-UNDER-VL-WARNINGLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECL-FIX-UNDER-VL-VARDECL-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-TASKDECLLIST-FIX-UNDER-VL-TASKDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PORTLIST-FIX-UNDER-VL-PORTLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PORTDECLLIST-FIX-UNDER-VL-PORTDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-INITIALLIST-FIX-UNDER-VL-INITIALLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GENVARLIST-FIX-UNDER-VL-GENVARLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GATEINSTLIST-FIX-UNDER-VL-GATEINSTLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-FUNDECLLIST-FIX-UNDER-VL-FUNDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-COMMENTMAP-FIX-UNDER-VL-COMMENTMAP-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ASSIGNLIST-FIX-UNDER-VL-ASSIGNLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ALWAYSLIST-FIX-UNDER-VL-ALWAYSLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ALIASLIST-FIX-UNDER-VL-ALIASLIST-EQUIV))
 (2 2 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEFLIST-P))
 (2 2 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (2 2 (:REWRITE VL2014::TAG-OF-VL-MODULE))
 (2 2 (:REWRITE POSP-RW))
 (2 2 (:REWRITE NATP-RW))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-UDP-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-SCOPEINFO-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-PROGRAM-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-PACKAGE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-GENBLOB-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-DESIGN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-BLOCKSCOPE-P))
 )
(VL2014::TYPE-OF-VL-MAKE-1-BIT-DELAY-M)
(VL2014::VL-MAKE-N-BIT-DELAY-M-FN
 (84 2 (:REWRITE VL2014::VL-PORTLIST-P-WHEN-VL-INTERFACEPORTLIST-P))
 (74 3 (:REWRITE VL2014::VL-INTERFACEPORTLIST-P-OF-CONS))
 (67 2 (:REWRITE VL2014::VL-PORTLIST-P-WHEN-VL-REGULARPORTLIST-P))
 (57 3 (:REWRITE VL2014::VL-REGULARPORTLIST-P-OF-CONS))
 (48 4 (:REWRITE NATP-POSP))
 (32 18 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (30 14 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (24 2 (:REWRITE VL2014::NATP-WHEN-POSP))
 (19 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (18 18 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (18 18 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (17 5 (:REWRITE VL2014::VL-REGULARPORT-P-BY-TAG-WHEN-VL-PORT-P))
 (17 5 (:REWRITE VL2014::VL-REGULARPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (17 5 (:REWRITE VL2014::VL-INTERFACEPORT-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (17 5 (:REWRITE VL2014::VL-INTERFACEPORT-P-BY-TAG-WHEN-VL-PORT-P))
 (17 5 (:REWRITE VL2014::VL-INTERFACEPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 14 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (14 14 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (14 2 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-MODITEM-P))
 (12 4 (:REWRITE POSP-RW))
 (12 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (10 10 (:TYPE-PRESCRIPTION NATP))
 (10 10 (:REWRITE VL2014::VL-REGULARPORT-P-WHEN-MEMBER-EQUAL-OF-VL-REGULARPORTLIST-P))
 (10 10 (:REWRITE VL2014::VL-INTERFACEPORT-P-WHEN-MEMBER-EQUAL-OF-VL-INTERFACEPORTLIST-P))
 (10 2 (:REWRITE NATP-RW))
 (9 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (9 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (9 1 (:REWRITE VL2014::VL-OCCFORM-MKWIRES-UNDER-IFF))
 (8 8 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (8 8 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (8 4 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (7 7 (:TYPE-PRESCRIPTION VL2014::VL-REGULARPORT-P))
 (7 7 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACEPORT-P))
 (7 7 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (6 6 (:REWRITE VL2014::VL-REGULARPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-INTERFACEPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (4 4 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::VL-PORTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::VL-PORTDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::VL-EXPRLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::TRUE-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (4 4 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (4 4 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (4 2 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (4 2 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE VL2014::VL-REGULARPORTLIST-P-WHEN-NOT-CONSP))
 (3 3 (:REWRITE VL2014::VL-INTERFACEPORTLIST-P-WHEN-NOT-CONSP))
 (3 2 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (3 1 (:REWRITE COMMUTATIVITY-OF-+))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-REGULARPORTLIST-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-OCCFORM-MKWIRES-FN-MVTYPES-1))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACEPORTLIST-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-DIRECTION-FIX-UNDER-VL-MAYBE-DIRECTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-LOCATION-FIX-UNDER-VL-LOCATION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-DIRECTION-FIX-UNDER-VL-DIRECTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (2 2 (:REWRITE VL2014::VL-PORTLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::VL-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (2 2 (:REWRITE VL2014::VL-EXPRLISTLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:DEFINITION NFIX))
 (1 1 (:TYPE-PRESCRIPTION |x < y  =>  0 < -x+y|))
 (1 1 (:REWRITE VL2014::NEGATIVE-WHEN-NATP))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:META CANCEL_PLUS-LESSP-CORRECT))
 )
(VL2014::VL-MODULELIST-P-OF-VL-MAKE-N-BIT-DELAY-M
 (96 8 (:REWRITE NATP-POSP))
 (48 4 (:REWRITE VL2014::NATP-WHEN-POSP))
 (38 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (29 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (25 25 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (24 8 (:REWRITE POSP-RW))
 (24 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (22 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (20 20 (:TYPE-PRESCRIPTION NATP))
 (20 4 (:REWRITE NATP-RW))
 (18 2 (:REWRITE VL2014::VL-OCCFORM-MKWIRES-UNDER-IFF))
 (16 16 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (16 16 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (16 8 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (10 10 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-DIRECTION-FIX-UNDER-VL-MAYBE-DIRECTION-EQUIV))
 (10 10 (:REWRITE-QUOTED-CONSTANT VL2014::VL-LOCATION-FIX-UNDER-VL-LOCATION-EQUIV))
 (10 10 (:REWRITE-QUOTED-CONSTANT VL2014::VL-DIRECTION-FIX-UNDER-VL-DIRECTION-EQUIV))
 (8 8 (:TYPE-PRESCRIPTION VL2014::VL-OCCFORM-MKWIRES-FN-MVTYPES-0))
 (8 8 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (8 8 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (6 6 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (6 2 (:REWRITE COMMUTATIVITY-OF-+))
 (5 5 (:TYPE-PRESCRIPTION VL2014::TYPE-OF-VL-MAKE-N-BIT-DELAY-1))
 (5 2 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GENELEMENTLIST-FIX-UNDER-VL-GENELEMENTLIST-EQUIV))
 (4 4 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-+-1))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (4 2 (:REWRITE DEFAULT-CAR))
 (4 2 (:DEFINITION NFIX))
 (3 1 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-UDP-P))
 (3 1 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-PROGRAM-P))
 (3 1 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-MODULE-P))
 (3 1 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-VL-INTERFACE-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 |x < y  =>  0 < -x+y|))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-SCOPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-SCOPE-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACE-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-WARNINGLIST-FIX-UNDER-VL-WARNINGLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-TASKDECLLIST-FIX-UNDER-VL-TASKDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PORTLIST-FIX-UNDER-VL-PORTLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PORTDECLLIST-FIX-UNDER-VL-PORTDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-INITIALLIST-FIX-UNDER-VL-INITIALLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GENVARLIST-FIX-UNDER-VL-GENVARLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GATEINSTLIST-FIX-UNDER-VL-GATEINSTLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-FUNDECLLIST-FIX-UNDER-VL-FUNDECLLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-COMMENTMAP-FIX-UNDER-VL-COMMENTMAP-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ASSIGNLIST-FIX-UNDER-VL-ASSIGNLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ALWAYSLIST-FIX-UNDER-VL-ALWAYSLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ALIASLIST-FIX-UNDER-VL-ALIASLIST-EQUIV))
 (2 2 (:REWRITE VL2014::VL-SCOPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEFLIST-P))
 (2 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (2 2 (:REWRITE VL2014::TAG-OF-VL-MODULE))
 (2 2 (:REWRITE VL2014::NEGATIVE-WHEN-NATP))
 (2 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-UDP-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-SCOPEINFO-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-PROGRAM-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-PACKAGE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-GENBLOB-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-DESIGN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::VL-BLOCKSCOPE-P))
 )
(VL2014::TYPE-OF-VL-MAKE-N-BIT-DELAY-M)
(VL2014::VL-ASSIGN-DELAYREDUX-FN
 (43 6 (:REWRITE NATP-POSP))
 (38 8 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (38 8 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (31 14 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (30 3 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (28 14 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (20 1 (:REWRITE VL2014::NATP-WHEN-POSP))
 (16 16 (:REWRITE VL2014::VL-ASSIGN-P-WHEN-MEMBER-EQUAL-OF-VL-ASSIGNLIST-P))
 (15 15 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (14 14 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (14 14 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (14 14 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (14 14 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (14 6 (:REWRITE POSP-RW))
 (14 4 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (12 12 (:TYPE-PRESCRIPTION REVAPPEND-WITHOUT-GUARD))
 (12 12 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (12 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (10 5 (:REWRITE DEFAULT-<-2))
 (9 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (9 2 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (9 1 (:REWRITE NATP-RW))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (8 1 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (7 1 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-MODITEM-P))
 (6 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (5 5 (:TYPE-PRESCRIPTION NATP))
 (5 5 (:REWRITE DEFAULT-<-1))
 (5 5 (:META CANCEL_PLUS-LESSP-CORRECT))
 (4 4 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 2 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P-AUX))
 (3 3 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (2 2 (:REWRITE VL2014::VL-MODINSTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:REWRITE REV-WHEN-NOT-CONSP))
 (2 1 (:REWRITE REV-UNDER-IFF))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-EXPRLIST-FIX-UNDER-VL-EXPRLIST-EQUIV))
 (1 1 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-MODINSTLIST-P-WHEN-NOT-CONSP))
 )
(VL2014::VL-ASSIGN-P-OF-VL-ASSIGN-DELAYREDUX.NEW-X
 (39 2 (:REWRITE NATP-POSP))
 (24 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (20 1 (:REWRITE VL2014::NATP-WHEN-POSP))
 (14 2 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (13 3 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (10 2 (:REWRITE POSP-RW))
 (10 1 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (9 1 (:REWRITE NATP-RW))
 (8 8 (:TYPE-PRESCRIPTION REV))
 (8 4 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (6 6 (:TYPE-PRESCRIPTION VL2014::TYPE-OF-VL-MAKE-N-BIT-DELAY-M))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (5 5 (:TYPE-PRESCRIPTION NATP))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-ASSIGN->ATTS$INLINE))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATEDELAY-FIX-UNDER-VL-MAYBE-GATEDELAY-EQUIV))
 (4 4 (:REWRITE VL2014::VL-ASSIGN-P-WHEN-MEMBER-EQUAL-OF-VL-ASSIGNLIST-P))
 (4 4 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 2 (:REWRITE REV-WHEN-NOT-CONSP))
 (4 2 (:REWRITE REV-UNDER-IFF))
 (4 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:TYPE-PRESCRIPTION POSP))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-EXPRLIST-FIX-UNDER-VL-EXPRLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P-AUX))
 (1 1 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P))
 (1 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:META CANCEL_PLUS-LESSP-CORRECT))
 )
(VL2014::VL-DELTA-P-OF-VL-ASSIGN-DELAYREDUX.DELTA
 (39 2 (:REWRITE NATP-POSP))
 (24 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (20 1 (:REWRITE VL2014::NATP-WHEN-POSP))
 (13 3 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (10 2 (:REWRITE POSP-RW))
 (10 1 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (9 1 (:REWRITE NATP-RW))
 (8 8 (:TYPE-PRESCRIPTION REV))
 (7 1 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (7 1 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::TYPE-OF-VL-MAKE-N-BIT-DELAY-M))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (5 5 (:TYPE-PRESCRIPTION NATP))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-ASSIGN->ATTS$INLINE))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATEDELAY-FIX-UNDER-VL-MAYBE-GATEDELAY-EQUIV))
 (4 4 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (4 2 (:REWRITE REV-WHEN-NOT-CONSP))
 (4 2 (:REWRITE REV-UNDER-IFF))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION POSP))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::VL-EXPRLIST-FIX-UNDER-VL-EXPRLIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:REWRITE VL2014::VL-ASSIGN-P-WHEN-MEMBER-EQUAL-OF-VL-ASSIGNLIST-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 CAR-WHEN-ALL-EQUALP))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P-AUX))
 (1 1 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P))
 (1 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:META CANCEL_PLUS-LESSP-CORRECT))
 )
(VL2014::VL-ASSIGNLIST-DELAYREDUX-FN
 (28 1 (:REWRITE VL2014::VL-ASSIGNLIST-P-WHEN-NOT-CONSP))
 (14 2 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (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))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (8 4 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (8 4 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (8 2 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (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-NAMEDB-PREFIXMAP-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::VL-ASSIGNLIST-P-OF-VL-ASSIGNLIST-DELAYREDUX.NEW-X
 (88 2 (:REWRITE SUBSETP-OF-CONS))
 (58 4 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (38 6 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (31 4 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (30 15 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (21 21 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (14 2 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (12 6 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (10 10 (:REWRITE SUBSETP-TRANS2))
 (10 10 (:REWRITE SUBSETP-TRANS))
 (8 4 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (6 6 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (6 6 (:REWRITE CONSP-BY-LEN))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (3 3 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-DELTA-P-OF-VL-ASSIGNLIST-DELAYREDUX.DELTA
 (7 1 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (7 1 (:REWRITE VL2014::VL-ASSIGN-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (4 4 (: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 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (4 1 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (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 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-NAMEDB-PREFIXMAP-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P$INLINE
 (18 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (6 6 (:REWRITE VL2014::VL-PLAINARG-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLIST-P))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-WHY-IS-GATEARG-BAD-FOR-DELAYREDUX
 (12 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (10 1 (:REWRITE VL2014::NATSTR-WHEN-ZP))
 (8 1 (:REWRITE ZP-OPEN))
 (6 6 (:REWRITE VL2014::VL-PLAINARG-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLIST-P))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (2 2 (:META CANCEL_PLUS-LESSP-CORRECT))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION ZP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(STD::DEFLIST-LOCAL-BOOLEANP-ELEMENT-THM)
(STD::DEFLIST-LOCAL-ELEMENTP-OF-NIL-THM)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P
 (28 1 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-NOT-CONSP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 3 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 4 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLISTLIST-P))
 (4 2 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (4 1 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (3 3 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (3 3 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-CONS)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-CDR-WHEN-VL-GATEARGS-OK-FOR-DELAYREDUX-P)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-WHEN-NOT-CONSP)
(VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-OF-CAR-WHEN-VL-GATEARGS-OK-FOR-DELAYREDUX-P)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-APPEND)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-LIST-FIX)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-SFIX)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-INSERT)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-DELETE)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-MERGESORT)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-UNION)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-INTERSECT-1)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-INTERSECT-2)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-DIFFERENCE)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-DUPLICATED-MEMBERS)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-REV)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-RCONS)
(VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-WHEN-MEMBER-EQUAL-OF-VL-GATEARGS-OK-FOR-DELAYREDUX-P)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-WHEN-SUBSETP-EQUAL)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-SET-EQUIV-CONGRUENCE)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-SET-DIFFERENCE-EQUAL)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-INTERSECTION-EQUAL-1)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-INTERSECTION-EQUAL-2)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-UNION-EQUAL)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-TAKE)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-REPEAT)
(VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-OF-NTH-WHEN-VL-GATEARGS-OK-FOR-DELAYREDUX-P)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-UPDATE-NTH)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-BUTLAST)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-NTHCDR)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-LAST)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-REMOVE)
(VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-REVAPPEND)
(VL2014::VL-FIRST-BAD-GATEARG-FOR-DELAYREDUX
 (28 1 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-NOT-CONSP))
 (18 3 (:REWRITE VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-OF-CAR-WHEN-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (12 6 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (8 8 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 6 (:REWRITE VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-WHEN-MEMBER-EQUAL-OF-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (6 6 (:REWRITE CONSP-BY-LEN))
 (4 4 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLISTLIST-P))
 (4 4 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (4 2 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (4 1 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (3 3 (:REWRITE VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::VL-FIRST-BAD-GATEARG-FOR-DELAYREDUX-UNDER-IFF
 (177 9 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (84 84 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (84 84 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (84 42 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (81 81 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (78 39 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (68 16 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (56 7 (:REWRITE VL2014::FIRST-UNDER-IFF-WHEN-VL-EXPRLIST-P))
 (46 10 (:REWRITE VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-OF-CAR-WHEN-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (42 42 (:REWRITE CONSP-BY-LEN))
 (42 7 (:REWRITE VL2014::CROCK))
 (32 32 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLISTLIST-P))
 (31 1 (:REWRITE SUBSETP-OF-CONS))
 (26 26 (:REWRITE DEFAULT-CAR))
 (26 26 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (25 5 (:REWRITE VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-CDR-WHEN-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (19 19 (:REWRITE SUBSETP-TRANS2))
 (19 19 (:REWRITE SUBSETP-TRANS))
 (19 19 (:REWRITE DEFAULT-CDR))
 (16 16 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (15 2 (:REWRITE VL2014::VL-PLAINARG-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLIST-P))
 (14 14 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (14 14 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (14 14 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (14 2 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (13 13 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (9 9 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (8 8 (:REWRITE SUBSETP-MEMBER . 2))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (7 7 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 )
(VL2014::VL-PLAINARG-P-OF-VL-FIRST-BAD-GATEARG-FOR-DELAYREDUX
 (177 9 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (160 80 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (124 30 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (122 122 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (84 84 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (84 84 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (84 42 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (47 11 (:REWRITE VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-OF-CAR-WHEN-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (42 42 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (42 42 (:REWRITE CONSP-BY-LEN))
 (31 1 (:REWRITE SUBSETP-OF-CONS))
 (30 30 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLISTLIST-P))
 (30 30 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (24 24 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (21 21 (:REWRITE SUBSETP-TRANS2))
 (21 21 (:REWRITE SUBSETP-TRANS))
 (21 21 (:REWRITE SUBSETP-MEMBER . 2))
 (21 21 (:REWRITE SUBSETP-MEMBER . 1))
 (18 18 (:REWRITE DEFAULT-CDR))
 (18 3 (:REWRITE VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-OF-CDR-WHEN-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (18 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (14 2 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (11 11 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (9 9 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-GATEARG-DELAYREDUX
 (22 8 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (15 3 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (15 3 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (13 6 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:REWRITE VL2014::VL-PLAINARG-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLIST-P))
 (8 8 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (8 8 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (8 1 (:REWRITE VL2014::VL-MODINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (7 1 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-MODITEM-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (6 6 (:REWRITE VL2014::VL-LOCATION-P-WHEN-MEMBER-EQUAL-OF-VL-LOCATIONLIST-P))
 (4 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (4 4 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-MODINSTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-WHEN-MEMBER-EQUAL-OF-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (2 2 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-EXPRLIST-FIX-UNDER-VL-EXPRLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT POS-FIX-UNDER-POS-EQUIV))
 (1 1 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-MODINSTLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 )
(VL2014::VL-PLAINARG-P-OF-VL-GATEARG-DELAYREDUX.NEW-X
 (13 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (12 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (9 1 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (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))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE VL2014::VL-PLAINARG-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLIST-P))
 (4 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL2014::VL-LOCATION-P-WHEN-MEMBER-EQUAL-OF-VL-LOCATIONLIST-P))
 (2 2 (:REWRITE VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-WHEN-MEMBER-EQUAL-OF-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-EXPRLIST-FIX-UNDER-VL-EXPRLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT POS-FIX-UNDER-POS-EQUIV))
 (1 1 (:REWRITE SET::IN-SET))
 )
(VL2014::VL-DELTA-P-OF-VL-GATEARG-DELAYREDUX.DELTA
 (13 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (12 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (9 1 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (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))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL2014::VL-PLAINARG-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLIST-P))
 (2 2 (:REWRITE VL2014::VL-LOCATION-P-WHEN-MEMBER-EQUAL-OF-VL-LOCATIONLIST-P))
 (2 2 (:REWRITE VL2014::VL-GATEARG-OK-FOR-DELAYREDUX-P-WHEN-MEMBER-EQUAL-OF-VL-GATEARGS-OK-FOR-DELAYREDUX-P))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-EXPRLIST-FIX-UNDER-VL-EXPRLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT POS-FIX-UNDER-POS-EQUIV))
 (1 1 (:REWRITE SET::IN-SET))
 )
(VL2014::VL-GATEARGLIST-DELAYREDUX
 (28 1 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-WHEN-NOT-CONSP))
 (22 4 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (22 4 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-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))
 (17 17 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (16 8 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (16 4 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (12 6 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (12 6 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (9 9 (:REWRITE CONSP-BY-LEN))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (6 6 (:REWRITE VL2014::VL-LOCATION-P-WHEN-MEMBER-EQUAL-OF-VL-LOCATIONLIST-P))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 4 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLISTLIST-P))
 (4 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (4 4 (:REWRITE SUBSETP-TRANS2))
 (4 4 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (3 3 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(VL2014::VL-PLAINARGLIST-P-OF-VL-GATEARGLIST-DELAYREDUX.NEW-X
 (88 2 (:REWRITE SUBSETP-OF-CONS))
 (58 4 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (46 8 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (38 19 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (31 4 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (25 25 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (23 5 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (23 5 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (14 14 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLISTLIST-P))
 (12 12 (:REWRITE SUBSETP-TRANS2))
 (12 12 (:REWRITE SUBSETP-TRANS))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (12 6 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (12 6 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (12 6 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (8 8 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (8 8 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (6 6 (:REWRITE VL2014::VL-LOCATION-P-WHEN-MEMBER-EQUAL-OF-VL-LOCATIONLIST-P))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (6 6 (:REWRITE CONSP-BY-LEN))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (4 4 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-DELTA-P-OF-VL-GATEARGLIST-DELAYREDUX.DELTA
 (23 5 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (23 5 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (12 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))
 (8 4 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (8 2 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (6 6 (:REWRITE VL2014::VL-PLAINARGLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PLAINARGLISTLIST-P))
 (6 6 (:REWRITE VL2014::VL-LOCATION-P-WHEN-MEMBER-EQUAL-OF-VL-LOCATIONLIST-P))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (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 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (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-NAMEDB-PREFIXMAP-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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))
 )
(VL2014::VL-GATEINST-DELAYREDUX-FN
 (113 5 (:REWRITE VL2014::VL-GATEARGS-OK-FOR-DELAYREDUX-P-WHEN-NOT-CONSP))
 (84 40 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (80 40 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (66 12 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (66 12 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (66 12 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (66 12 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (50 5 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (40 40 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (40 40 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (40 40 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (40 40 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (32 26 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (26 26 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (24 24 (:REWRITE VL2014::VL-GATEINST-P-WHEN-MEMBER-EQUAL-OF-VL-GATEINSTLIST-P))
 (23 9 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (19 5 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (19 5 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (18 9 (:REWRITE DEFAULT-<-2))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 9 (:REWRITE DEFAULT-<-1))
 (9 9 (:META CANCEL_PLUS-LESSP-CORRECT))
 (8 8 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (5 5 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P-AUX))
 (5 5 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-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-NAMEDB-PREFIXMAP-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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))
 (2 2 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE DEFAULT-CAR))
 (2 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-GATEINST-P-OF-VL-GATEINST-DELAYREDUX.NEW-X
 (16 8 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (16 8 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (10 1 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (8 8 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (8 8 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (6 6 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-GATEINST->ATTS$INLINE))
 (4 4 (:TYPE-PRESCRIPTION VL2014::TYPE-OF-VL-MAKE-N-BIT-DELAY-M))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATEDELAY-FIX-UNDER-VL-MAYBE-GATEDELAY-EQUIV))
 (4 4 (:REWRITE VL2014::VL-GATEINST-P-WHEN-MEMBER-EQUAL-OF-VL-GATEINSTLIST-P))
 (4 2 (:REWRITE DEFAULT-CAR))
 (4 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (3 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P-AUX))
 (1 1 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P))
 (1 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:META CANCEL_PLUS-LESSP-CORRECT))
 )
(VL2014::VL-DELTA-P-OF-VL-GATEINST-DELAYREDUX.DELTA
 (10 1 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (8 4 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (7 1 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (7 1 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (7 1 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (7 1 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (6 6 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (4 4 (:TYPE-PRESCRIPTION VL2014::VL-GATEINST->ATTS$INLINE))
 (4 4 (:TYPE-PRESCRIPTION VL2014::TYPE-OF-VL-MAKE-N-BIT-DELAY-M))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MAYBE-GATEDELAY-FIX-UNDER-VL-MAYBE-GATEDELAY-EQUIV))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 2 (:REWRITE DEFAULT-CAR))
 (4 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL2014::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (3 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (2 2 (:REWRITE VL2014::VL-GATEINST-P-WHEN-MEMBER-EQUAL-OF-VL-GATEINSTLIST-P))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P-AUX))
 (1 1 (:REWRITE VL2014::HONS-ASSOC-EQUAL-WHEN-VL-PREFIX-MAP-CORRECT-P))
 (1 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:META CANCEL_PLUS-LESSP-CORRECT))
 )
(VL2014::VL-GATEINSTLIST-DELAYREDUX-FN
 (28 1 (:REWRITE VL2014::VL-GATEINSTLIST-P-WHEN-NOT-CONSP))
 (16 8 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (16 8 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (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))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (8 8 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (8 8 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (8 4 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (8 2 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (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-NAMEDB-PREFIXMAP-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (5 5 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::VL-GATEINSTLIST-P-OF-VL-GATEINSTLIST-DELAYREDUX.NEW-X
 (88 2 (:REWRITE SUBSETP-OF-CONS))
 (58 4 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (38 6 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (31 4 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (30 15 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (21 21 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (16 8 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (16 8 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (12 6 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (10 10 (:REWRITE SUBSETP-TRANS2))
 (10 10 (:REWRITE SUBSETP-TRANS))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (8 8 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (8 8 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (6 6 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (6 6 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (6 6 (:REWRITE CONSP-BY-LEN))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (3 3 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-DELTA-P-OF-VL-GATEINSTLIST-DELAYREDUX.DELTA
 (8 4 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (7 1 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (7 1 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODITEM-P))
 (7 1 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (7 1 (:REWRITE VL2014::VL-GATEINST-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (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 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (4 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (4 1 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (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-NAMEDB-PREFIXMAP-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::VL-MODULE-DELAYREDUX-FN)
(VL2014::VL-MODULE-P-OF-VL-MODULE-DELAYREDUX.NEW-X
 (24 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (18 2 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (16 4 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (16 4 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (8 8 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (8 4 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODULELIST-FIX-UNDER-VL-MODULELIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODINSTLIST-FIX-UNDER-VL-MODINSTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GATEINSTLIST-FIX-UNDER-VL-GATEINSTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ASSIGNLIST-FIX-UNDER-VL-ASSIGNLIST-EQUIV))
 )
(VL2014::VL-MODULELIST-P-OF-VL-MODULE-DELAYREDUX.ADDMODS
 (28 1 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (12 2 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (9 1 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (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))
 (4 4 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-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-SUBSETP-EQUAL))
 (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-QUOTED-CONSTANT VL2014::VL-VARDECLLIST-FIX-UNDER-VL-VARDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODULELIST-FIX-UNDER-VL-MODULELIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODINSTLIST-FIX-UNDER-VL-MODINSTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GATEINSTLIST-FIX-UNDER-VL-GATEINSTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ASSIGNLIST-FIX-UNDER-VL-ASSIGNLIST-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-NAMEDB-PREFIXMAP-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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-MODULE->NAME-OF-VL-MODULE-DELAYREDUX
 (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-MODULELIST-FIX-UNDER-VL-MODULELIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODINSTLIST-FIX-UNDER-VL-MODINSTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-GATEINSTLIST-FIX-UNDER-VL-GATEINSTLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-ASSIGNLIST-FIX-UNDER-VL-ASSIGNLIST-EQUIV))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-MODULELIST-DELAYREDUX-AUX-FN
 (28 1 (:REWRITE VL2014::VL-MODULELIST-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))
 (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))
 (6 6 (: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-NAMEDB-PREFIXMAP-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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 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))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:TYPE-PRESCRIPTION BINARY-APPEND-WITHOUT-GUARD))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (: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-MODULELIST-P-OF-VL-MODULELIST-DELAYREDUX-AUX.NEW-X
 (88 2 (:REWRITE SUBSETP-OF-CONS))
 (58 4 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (34 5 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (31 4 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (28 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (26 13 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (20 20 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (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))
 (9 9 (:REWRITE SUBSETP-TRANS2))
 (9 9 (:REWRITE SUBSETP-TRANS))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (7 7 (:REWRITE CONSP-BY-LEN))
 (7 1 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (7 1 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (5 5 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (5 1 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (4 2 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (3 3 (:REWRITE DEFAULT-CDR))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 1 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (1 1 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-MODULELIST-P-OF-VL-MODULELIST-DELAYREDUX-AUX.ADDMODS
 (202 2 (:REWRITE SUBSETP-APPEND1))
 (130 12 (:REWRITE SUBSETP-TRANS2))
 (117 9 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (117 9 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (28 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (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))
 (14 14 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (12 12 (:REWRITE SUBSETP-TRANS))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (12 12 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (7 1 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (7 1 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (5 1 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-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))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 1 (:REWRITE VL2014::VL-MAYBE-MODULE-P-WHEN-VL-MODULE-P))
 (1 1 (: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-MODULELIST->NAMES-OF-VL-MODULELIST-DELAYREDUX-AUX
 (140 5 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (72 8 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (52 52 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (52 52 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (52 26 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (26 26 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (26 26 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (26 26 (:REWRITE CONSP-BY-LEN))
 (16 16 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (16 8 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (11 11 (:REWRITE DEFAULT-CDR))
 (8 8 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (8 8 (:REWRITE SET::IN-SET))
 (8 8 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (8 8 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (7 7 (:REWRITE DEFAULT-CAR))
 (7 7 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (7 7 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VL-MODULELIST-DELAYREDUX-FN
 (204 2 (:DEFINITION SET::MERGESORT))
 (186 8 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (173 6 (:REWRITE SET::IN-MERGESORT-UNDER-IFF))
 (150 3 (:REWRITE SET::INSERT-IDENTITY))
 (146 1 (:DEFINITION SET::UNION))
 (131 4 (:DEFINITION SET::SUBSET))
 (118 8 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (98 19 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (93 2 (:REWRITE SET::UNION-WITH-SUBSET-RIGHT))
 (82 2 (:REWRITE SET::UNION-WITH-SUBSET-LEFT))
 (74 4 (:REWRITE SUBSETP-CAR-MEMBER))
 (61 61 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (61 9 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (59 5 (:REWRITE VL2014::VL-MODULELIST->NAMES-WHEN-NOT-CONSP))
 (56 2 (:REWRITE VL2014::VL-MODULELIST->NAMES-UNDER-IFF))
 (42 21 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (40 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-ATOM))
 (40 2 (:REWRITE NO-DUPLICATESP-EQUAL-NON-CONS))
 (38 38 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (38 38 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (38 38 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (28 4 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (28 1 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (26 1 (:REWRITE SET::UNION-IN))
 (21 21 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (20 20 (:TYPE-PRESCRIPTION SET::SUBSET-TYPE))
 (18 1 (:DEFINITION SET::IN))
 (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-NAMEDB-PREFIXMAP-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (17 17 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-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))
 (16 16 (:REWRITE SET::SUBSET-TRANSITIVE))
 (16 8 (:REWRITE SET::EMPTY-SUBSET-2))
 (16 8 (:REWRITE SET::EMPTY-SUBSET))
 (15 5 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (12 4 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (12 3 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (10 10 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (9 9 (:REWRITE SUBSETP-TRANS2))
 (9 9 (:REWRITE SUBSETP-TRANS))
 (9 9 (:REWRITE SUBSETP-MEMBER . 2))
 (9 9 (:REWRITE SUBSETP-MEMBER . 1))
 (9 9 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (8 8 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (6 6 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (6 6 (:REWRITE SET::SUBSET-IN))
 (6 6 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (6 6 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (6 2 (:REWRITE SET::UNION-EMPTY-Y))
 (6 2 (:REWRITE SET::UNION-EMPTY-X))
 (5 5 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (4 4 (:REWRITE SET::IN-SET))
 (4 2 (:REWRITE SET::IN-TAIL))
 (4 1 (:REWRITE SET::UNION-EMPTY))
 (2 2 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (2 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-HIGH-DUPLICITY))
 (2 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-DUPLICITY-BADGUY1))
 (2 2 (:REWRITE FN-CHECK-DEF-FORMALS))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1 1 (:REWRITE SET::HEAD-UNIQUE))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-MODULELIST-P-OF-VL-MODULELIST-DELAYREDUX
 (612 6 (:DEFINITION SET::MERGESORT))
 (464 14 (:REWRITE SET::IN-MERGESORT-UNDER-IFF))
 (422 8 (:REWRITE SET::INSERT-IDENTITY))
 (292 12 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (292 2 (:DEFINITION SET::UNION))
 (262 8 (:DEFINITION SET::SUBSET))
 (254 12 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (222 12 (:REWRITE SUBSETP-CAR-MEMBER))
 (187 34 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (186 4 (:REWRITE SET::UNION-WITH-SUBSET-RIGHT))
 (165 1 (:REWRITE SUBSETP-APPEND1))
 (164 4 (:REWRITE SET::UNION-WITH-SUBSET-LEFT))
 (156 22 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (122 122 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (112 4 (:REWRITE VL2014::VL-MODULELIST->NAMES-UNDER-IFF))
 (105 12 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (100 50 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (88 3 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (84 12 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (80 80 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (79 12 (:REWRITE SUBSETP-TRANS2))
 (78 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-ATOM))
 (78 2 (:REWRITE NO-DUPLICATESP-EQUAL-NON-CONS))
 (68 68 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (68 68 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (60 6 (:REWRITE VL2014::VL-MODULELIST->NAMES-WHEN-NOT-CONSP))
 (52 2 (:REWRITE SET::UNION-IN))
 (50 50 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (40 40 (:TYPE-PRESCRIPTION SET::SUBSET-TYPE))
 (36 12 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (36 2 (:DEFINITION SET::IN))
 (32 32 (:REWRITE SET::SUBSET-TRANSITIVE))
 (32 16 (:REWRITE SET::EMPTY-SUBSET-2))
 (32 16 (:REWRITE SET::EMPTY-SUBSET))
 (32 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (32 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (30 30 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (30 30 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (30 30 (:REWRITE CONSP-BY-LEN))
 (30 8 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (22 22 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (22 22 (:REWRITE SUBSETP-MEMBER . 2))
 (22 22 (:REWRITE SUBSETP-MEMBER . 1))
 (22 22 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (16 16 (:TYPE-PRESCRIPTION VL2014::TRUE-LISTP-OF-VL-MODULELIST->NAMES))
 (16 16 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (14 14 (:REWRITE DEFAULT-CDR))
 (12 12 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (12 12 (:REWRITE SUBSETP-TRANS))
 (12 12 (:REWRITE SET::SUBSET-IN))
 (12 12 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (12 12 (:REWRITE SET::IN-SET))
 (12 12 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (12 4 (:REWRITE SET::UNION-EMPTY-Y))
 (12 4 (:REWRITE SET::UNION-EMPTY-X))
 (12 4 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (8 8 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (8 4 (:REWRITE SET::IN-TAIL))
 (8 2 (:REWRITE SET::UNION-EMPTY))
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (6 6 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (4 4 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (2 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-HIGH-DUPLICITY))
 (2 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-DUPLICITY-BADGUY1))
 (2 2 (:REWRITE SET::HEAD-UNIQUE))
 (2 2 (:REWRITE FN-CHECK-DEF-FORMALS))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::NO-DUPLICATESP-EQUAL-OF-VL-MODULELIST->NAMES-OF-VL-MODULELIST-DELAYREDUX
 (204 2 (:DEFINITION SET::MERGESORT))
 (173 6 (:REWRITE SET::IN-MERGESORT-UNDER-IFF))
 (150 3 (:REWRITE SET::INSERT-IDENTITY))
 (147 14 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (146 1 (:DEFINITION SET::UNION))
 (131 4 (:DEFINITION SET::SUBSET))
 (118 4 (:REWRITE VL2014::VL-MODULELIST->NAMES-UNDER-IFF))
 (93 2 (:REWRITE SET::UNION-WITH-SUBSET-RIGHT))
 (82 2 (:REWRITE SET::UNION-WITH-SUBSET-LEFT))
 (81 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-ATOM))
 (81 2 (:REWRITE NO-DUPLICATESP-EQUAL-NON-CONS))
 (74 4 (:REWRITE SUBSETP-CAR-MEMBER))
 (64 6 (:REWRITE VL2014::VL-MODULELIST->NAMES-WHEN-NOT-CONSP))
 (61 9 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (58 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (53 53 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (42 21 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (31 31 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (28 28 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (28 28 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (28 4 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (26 1 (:REWRITE SET::UNION-IN))
 (21 21 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (20 20 (:TYPE-PRESCRIPTION SET::SUBSET-TYPE))
 (18 1 (:DEFINITION SET::IN))
 (16 16 (:TYPE-PRESCRIPTION VL2014::TRUE-LISTP-OF-VL-MODULELIST->NAMES))
 (16 16 (:REWRITE SET::SUBSET-TRANSITIVE))
 (16 8 (:REWRITE SET::EMPTY-SUBSET-2))
 (16 8 (:REWRITE SET::EMPTY-SUBSET))
 (12 4 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (12 3 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (10 10 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (10 10 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-PREFIXMAP-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-NAMEDB-NAMESET-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-MODITEM-ALIST-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (10 10 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (10 10 (:REWRITE CONSP-BY-LEN))
 (9 9 (:REWRITE SUBSETP-MEMBER . 2))
 (9 9 (:REWRITE SUBSETP-MEMBER . 1))
 (9 9 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (8 8 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (6 6 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (6 6 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (6 6 (:REWRITE SET::SUBSET-IN))
 (6 6 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (6 6 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (6 2 (:REWRITE SET::UNION-EMPTY-Y))
 (6 2 (:REWRITE SET::UNION-EMPTY-X))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 1 (:REWRITE SET::SFIX-SET-IDENTITY))
 (4 4 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (4 4 (:REWRITE SET::IN-SET))
 (4 2 (:REWRITE SET::IN-TAIL))
 (4 1 (:REWRITE SET::UNION-EMPTY))
 (3 1 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION SET::MERGESORT))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (2 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-HIGH-DUPLICITY))
 (2 2 (:REWRITE NO-DUPLICATESP-EQUAL-WHEN-DUPLICITY-BADGUY1))
 (2 2 (:REWRITE FN-CHECK-DEF-FORMALS))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL2014::VL-MODULELIST-FIX-UNDER-VL-MODULELIST-EQUIV))
 (1 1 (:REWRITE SET::MERGESORT-SET))
 (1 1 (:REWRITE SET::HEAD-UNIQUE))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL2014::VL-DESIGN-DELAYREDUX-FN)
(VL2014::VL-DESIGN-P-OF-VL-DESIGN-DELAYREDUX)
