(VL2014::VL-VARDECLTEST-P
 (10 10 (:TYPE-PRESCRIPTION CONSP-ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST)
(VL2014::HONSED-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->INPUT$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->SUCCESSP$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->NAMES$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->CONSTP$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->VARP$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->LIFETIME$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->TYPE$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->ATTS$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->DIMS$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::VL-VARDECLTEST->INITVALS$INLINE
 (50 50 (:DEFINITION ASSOC-EQUAL))
 )
(VL2014::CONSP-OF-VL-VARDECLTEST)
(VL2014::BOOLEANP-OF-VL-VARDECLTEST-P)
(VL2014::VL-VARDECLTEST-P-OF-VL-VARDECLTEST)
(VL2014::CONSP-WHEN-VL-VARDECLTEST-P)
(VL2014::VL-VARDECLTEST->INPUT-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->SUCCESSP-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->NAMES-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->CONSTP-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->VARP-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->LIFETIME-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->TYPE-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->ATTS-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->DIMS-OF-VL-VARDECLTEST)
(VL2014::VL-VARDECLTEST->INITVALS-OF-VL-VARDECLTEST)
(VL2014::RETURN-TYPE-OF-VL-VARDECLTEST->INPUT)
(VL2014::RETURN-TYPE-OF-VL-VARDECLTEST->SUCCESSP)
(VL2014::RETURN-TYPE-OF-VL-VARDECLTEST->NAMES)
(VL2014::RETURN-TYPE-OF-VL-VARDECLTEST->CONSTP)
(VL2014::RETURN-TYPE-OF-VL-VARDECLTEST->VARP)
(VL2014::RETURN-TYPE-OF-VL-VARDECLTEST->LIFETIME)
(VL2014::RETURN-TYPE-OF-VL-VARDECLTEST->DIMS)
(VL2014::RETURN-TYPE-OF-VL-VARDECLTEST->INITVALS)
(STD::DEFLIST-LOCAL-BOOLEANP-ELEMENT-THM)
(VL2014::VL-VARDECLTESTLIST-P)
(VL2014::VL-VARDECLTESTLIST-P-OF-CONS)
(VL2014::VL-VARDECLTESTLIST-P-OF-CDR-WHEN-VL-VARDECLTESTLIST-P)
(VL2014::VL-VARDECLTESTLIST-P-WHEN-NOT-CONSP)
(VL2014::VL-VARDECLTEST-P-OF-CAR-WHEN-VL-VARDECLTESTLIST-P)
(VL2014::VL-VARDECLTESTLIST-P-OF-APPEND)
(VL2014::VL-VARDECLTESTLIST-P-OF-LIST-FIX)
(VL2014::VL-VARDECLTESTLIST-P-OF-SFIX)
(VL2014::VL-VARDECLTESTLIST-P-OF-INSERT)
(VL2014::VL-VARDECLTESTLIST-P-OF-DELETE)
(VL2014::VL-VARDECLTESTLIST-P-OF-MERGESORT)
(VL2014::VL-VARDECLTESTLIST-P-OF-UNION)
(VL2014::VL-VARDECLTESTLIST-P-OF-INTERSECT-1)
(VL2014::VL-VARDECLTESTLIST-P-OF-INTERSECT-2)
(VL2014::VL-VARDECLTESTLIST-P-OF-DIFFERENCE)
(VL2014::VL-VARDECLTESTLIST-P-OF-DUPLICATED-MEMBERS)
(VL2014::VL-VARDECLTESTLIST-P-OF-REV)
(VL2014::VL-VARDECLTESTLIST-P-OF-RCONS)
(VL2014::VL-VARDECLTEST-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLTESTLIST-P)
(VL2014::VL-VARDECLTESTLIST-P-WHEN-SUBSETP-EQUAL)
(VL2014::VL-VARDECLTESTLIST-P-SET-EQUIV-CONGRUENCE)
(VL2014::VL-VARDECLTESTLIST-P-OF-SET-DIFFERENCE-EQUAL)
(VL2014::VL-VARDECLTESTLIST-P-OF-INTERSECTION-EQUAL-1)
(VL2014::VL-VARDECLTESTLIST-P-OF-INTERSECTION-EQUAL-2)
(VL2014::VL-VARDECLTESTLIST-P-OF-UNION-EQUAL)
(VL2014::VL-VARDECLTESTLIST-P-OF-TAKE)
(VL2014::VL-VARDECLTESTLIST-P-OF-REPEAT)
(VL2014::VL-VARDECLTEST-P-OF-NTH-WHEN-VL-VARDECLTESTLIST-P)
(VL2014::VL-VARDECLTESTLIST-P-OF-UPDATE-NTH)
(VL2014::VL-VARDECLTESTLIST-P-OF-BUTLAST)
(VL2014::VL-VARDECLTESTLIST-P-OF-NTHCDR)
(VL2014::VL-VARDECLTESTLIST-P-OF-LAST)
(VL2014::VL-VARDECLTESTLIST-P-OF-REMOVE)
(VL2014::VL-VARDECLTESTLIST-P-OF-REVAPPEND)
(VL2014::VL-MAKE-VARDECLTESTS-FAIL
 (60 4 (:DEFINITION LEN))
 (11 1 (:REWRITE VL2014::VL-VARDECLTESTLIST-P-WHEN-NOT-CONSP))
 (8 8 (:REWRITE SUBSETP-TRANS2))
 (8 8 (:REWRITE SUBSETP-TRANS))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (8 8 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (8 4 (:REWRITE DEFAULT-+-2))
 (5 5 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(VL2014::VL-VARDECLTESTLIST-P-OF-VL-MAKE-VARDECLTESTS-FAIL
 (120 16 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (107 16 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (76 4 (:DEFINITION MEMBER-EQUAL))
 (70 2 (:REWRITE SUBSETP-OF-CONS))
 (60 4 (:DEFINITION LEN))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 1))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (39 39 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (27 27 (:REWRITE SUBSETP-TRANS2))
 (27 27 (:REWRITE SUBSETP-TRANS))
 (10 10 (:REWRITE DEFAULT-CDR))
 (8 8 (:REWRITE SUBSETP-MEMBER . 2))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (8 4 (:REWRITE DEFAULT-+-2))
 (5 5 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-+-1))
 )
(VL2014::RUN-VARDECLTEST-AUX
 (5250 10 (:DEFINITION VL2014::RUN-VARDECLTEST-AUX))
 (3296 72 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (2116 72 (:DEFINITION MEMBER-EQUAL))
 (1338 594 (:REWRITE DEFAULT-CDR))
 (1324 144 (:REWRITE MEMBER-WHEN-ATOM))
 (1122 102 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 1))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (890 890 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (816 24 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (740 318 (:REWRITE DEFAULT-+-2))
 (720 24 (:REWRITE LIST-FIX-WHEN-LEN-ZERO))
 (670 40 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (670 40 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (670 40 (:REWRITE VL2014::VL-VARDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (552 24 (:DEFINITION TRUE-LISTP))
 (390 318 (:REWRITE DEFAULT-+-1))
 (360 360 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (358 358 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (358 358 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (358 358 (:LINEAR LEN-WHEN-PREFIXP))
 (288 48 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (275 40 (:REWRITE VL2014::VL-VARDECL-P-OF-CAR-WHEN-VL-VARDECLLIST-P))
 (272 8 (:DEFINITION LENGTH))
 (264 24 (:REWRITE LIST-FIX-WHEN-NOT-CONSP))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-TIMETOKEN-P))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-SYSIDTOKEN-P))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-STRINGTOKEN-P))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-REALTOKEN-P))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-INTTOKEN-P))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-IDTOKEN-P))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-EXTINTTOKEN-P))
 (210 105 (:REWRITE VL2014::TAG-WHEN-VL-ERANGE-P))
 (179 179 (:LINEAR VL2014::LEN-WHEN-VL-MATCHES-STRING-P-FC))
 (179 179 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (170 170 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-SUBSETP-EQUAL))
 (170 170 (:REWRITE VL2014::VL-EXPRLIST-P-WHEN-MEMBER-EQUAL-OF-VL-EXPRLISTLIST-P))
 (160 20 (:REWRITE VL2014::SECOND-UNDER-IFF-WHEN-VL-EXPRLIST-P))
 (144 144 (:REWRITE SUBSETP-MEMBER . 4))
 (144 144 (:REWRITE SUBSETP-MEMBER . 3))
 (144 144 (:REWRITE SUBSETP-MEMBER . 2))
 (144 144 (:REWRITE SUBSETP-MEMBER . 1))
 (144 144 (:REWRITE VL2014::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (144 144 (:REWRITE INTERSECTP-MEMBER . 3))
 (144 144 (:REWRITE INTERSECTP-MEMBER . 2))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-TIMETOKEN-P))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-REALTOKEN-P))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-INTTOKEN-P))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-IDTOKEN-P))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (105 105 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-ERANGE-P))
 (96 96 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (96 96 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (96 48 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (90 90 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (80 80 (:REWRITE VL2014::VL-VARDECL-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLLIST-P))
 (80 16 (:REWRITE COMMUTATIVITY-OF-+))
 (64 16 (:DEFINITION INTEGER-ABS))
 (60 10 (:REWRITE VL2014::VL-VARDECLLIST-P-OF-CDR-WHEN-VL-VARDECLLIST-P))
 (48 48 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (48 48 (:REWRITE SET::IN-SET))
 (45 45 (:REWRITE VL2014::VL-VARDECLLIST-P-WHEN-NOT-CONSP))
 (40 20 (:REWRITE VL2014::VL-EXPRLIST-P-OF-CDR-WHEN-VL-EXPRLIST-P))
 (36 20 (:REWRITE DEFAULT-<-2))
 (28 28 (:REWRITE FOLD-CONSTS-IN-+))
 (28 20 (:REWRITE DEFAULT-<-1))
 (24 24 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (24 16 (:REWRITE STR::CONSP-OF-EXPLODE))
 (22 22 (:REWRITE VL2014::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P))
 (22 22 (:REWRITE VL2014::STRINGP-OF-CAR-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P))
 (16 16 (:REWRITE VL2014::STRINGP-OF-CDR-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P))
 (16 16 (:REWRITE DEFAULT-UNARY-MINUS))
 (16 8 (:REWRITE STR::COERCE-TO-LIST-REMOVAL))
 (8 8 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (8 8 (:REWRITE DEFAULT-REALPART))
 (8 8 (:REWRITE DEFAULT-NUMERATOR))
 (8 8 (:REWRITE DEFAULT-IMAGPART))
 (8 8 (:REWRITE DEFAULT-DENOMINATOR))
 )
(VL2014::BOOLEANP-OF-RUN-VARDECLTEST-AUX)
(VL2014::RUN-VARDECLTEST
 (60 4 (:DEFINITION LEN))
 (18 18 (:REWRITE VL2014::VL-VARDECLTEST-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLTESTLIST-P))
 (8 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-+-1))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (4 4 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-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))
 )
(VL2014::BOOLEANP-OF-RUN-VARDECLTEST)
(VL2014::VL-PARSE-BLOCK-ITEM-DECLARATION-TOP-FN)
(VL2014::VL-TOKENLIST-P-OF-VL-PARSE-BLOCK-ITEM-DECLARATION-TOP.TOKENS
 (1 1 (:REWRITE VL2014::VL-PARSE-BLOCK-ITEM-DECLARATION-FAILS-GRACEFULLY))
 )
(VL2014::VL-PARSESTATE-P-OF-VL-PARSE-BLOCK-ITEM-DECLARATION-TOP.PSTATE
 (1 1 (:REWRITE VL2014::VL-PARSE-BLOCK-ITEM-DECLARATION-FAILS-GRACEFULLY))
 )
(VL2014::TEST-PARSE-BLOCK-ITEM-DECLARATION-1
 (10 10 (:REWRITE VL2014::VL-VARDECLTEST-P-WHEN-MEMBER-EQUAL-OF-VL-VARDECLTESTLIST-P))
 )
(VL2014::BOOLEANP-OF-TEST-PARSE-BLOCK-ITEM-DECLARATION-1)
(VL2014::TEST-PARSE-BLOCK-ITEM-DECLARATION
 (11 1 (:REWRITE VL2014::VL-VARDECLTESTLIST-P-WHEN-NOT-CONSP))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-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))
 (4 4 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::BOOLEANP-OF-TEST-PARSE-BLOCK-ITEM-DECLARATION)
