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))
 (3316 72 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (2126 72 (:DEFINITION MEMBER-EQUAL))
 (1338 594 (:REWRITE DEFAULT-CDR))
 (1334 144 (:REWRITE MEMBER-WHEN-ATOM))
 (1122 102 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (895 895 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P. 2))
 (895 895 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-