(VL::VL-UNPARAM-DEBUG-FN)
(VL::VL-UNPARAM-DEBUG-SILENT)
(VL::VL-PARAMTYPE->DEFAULT
 (26 13 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (13 13 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (13 13 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:REWRITE VL::VL-DATATYPE-P-WHEN-MEMBER-EQUAL-OF-VL-DATATYPELIST-P))
 )
(VL::VL-MAYBE-PARAMVALUE-P-OF-VL-PARAMTYPE->DEFAULT
 (99 4 (:REWRITE VL::VL-PARAMVALUE-P-WHEN-VL-MAYBE-PARAMVALUE-P))
 (71 2 (:DEFINITION VL::VL-MAYBE-PARAMVALUE-P))
 (12 6 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARAMTYPE->DEFAULT-OF-VL-PARAMTYPE-FIX-X
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (3 1 (:REWRITE VL::VL-PARAMTYPE-FIX-WHEN-VL-PARAMTYPE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PARAMTYPE-P))
 )
(VL::VL-PARAMTYPE->DEFAULT-VL-PARAMTYPE-EQUIV-CONGRUENCE-ON-X)
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE
 (170 1 (:REWRITE SUBSETP-APPEND1))
 (114 4 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (90 1 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (87 8 (:REWRITE SUBSETP-TRANS2))
 (79 4 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (43 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (43 2 (:REWRITE VL::VL-ELABSCOPES-P-WHEN-NOT-CONSP))
 (38 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (38 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (38 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (27 17 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (21 21 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (21 21 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (19 10 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (10 10 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (10 10 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (9 9 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (9 9 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (9 9 (:REWRITE CONSP-BY-LEN))
 (8 8 (:REWRITE SUBSETP-TRANS))
 (6 6 (:REWRITE VL::VL-DATATYPE-P-WHEN-MEMBER-EQUAL-OF-VL-DATATYPELIST-P))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-EXPR-FIX-UNDER-VL-MAYBE-EXPR-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT MAYBE-NATP-FIX-UNDER-MAYBE-NAT-EQUIV))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::BOOLEANP-OF-VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE.OKP
 (92 1 (:REWRITE STR-FIX-DEFAULT))
 (89 1 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (74 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (37 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (37 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (16 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (10 1 (:REWRITE VL::VL-DATATYPE-FIX-WHEN-VL-DATATYPE-P))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (8 4 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (8 1 (:REWRITE VL::VL-EXPR-FIX-WHEN-VL-EXPR-P))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (5 1 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (5 1 (:REWRITE VL::VL-DATATYPE-P-WHEN-VL-MAYBE-DATATYPE-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (4 4 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (4 4 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (4 4 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (4 4 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-EXPR-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-DATATYPE-P))
 (3 1 (:REWRITE STR-FIX-WHEN-STRINGP))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DATATYPE-P))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-DATATYPE-P-WHEN-MEMBER-EQUAL-OF-VL-DATATYPELIST-P))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE BOOLEANP-WHEN-MEMBER-EQUAL-OF-BOOLEAN-LISTP))
 (2 1 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (2 1 (:REWRITE VL::VL-MAYBE-DATATYPE-P-WHEN-VL-DATATYPE-P))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-EXPR-FIX-UNDER-VL-MAYBE-EXPR-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT MAYBE-NATP-FIX-UNDER-MAYBE-NAT-EQUIV))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::VL-WARNINGLIST-P-OF-VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE.WARNINGS
 (218 4 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (184 2 (:REWRITE STR-FIX-DEFAULT))
 (178 2 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (152 5 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (74 2 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (74 2 (:REWRITE VL::CONSP-OF-VL-WARNINGLIST-FIX))
 (74 2 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (56 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (50 5 (:REWRITE VL::VL-DATATYPE-FIX-WHEN-VL-DATATYPE-P))
 (32 16 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (28 28 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (28 28 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (28 14 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (28 2 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (26 2 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (25 5 (:REWRITE VL::VL-DATATYPE-P-WHEN-VL-MAYBE-DATATYPE-P))
 (24 2 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (21 21 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (16 2 (:REWRITE VL::VL-EXPR-FIX-WHEN-VL-EXPR-P))
 (15 15 (:TYPE-PRESCRIPTION VL::VL-DATATYPE-P))
 (14 14 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (14 14 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (14 14 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (14 14 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (14 14 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (14 14 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (14 14 (:REWRITE CONSP-BY-LEN))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (12 2 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (10 10 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DATATYPE-P))
 (10 10 (:REWRITE VL::VL-DATATYPE-P-WHEN-MEMBER-EQUAL-OF-VL-DATATYPELIST-P))
 (10 5 (:REWRITE VL::VL-MAYBE-DATATYPE-P-WHEN-VL-DATATYPE-P))
 (10 2 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (8 8 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (8 2 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-EXPR-P))
 (6 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 (5 5 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-EXPR-FIX-UNDER-VL-MAYBE-EXPR-EQUIV))
 (5 5 (:REWRITE-QUOTED-CONSTANT MAYBE-NATP-FIX-UNDER-MAYBE-NAT-EQUIV))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (4 4 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (4 4 (:TYPE-PRESCRIPTION STRING-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (4 4 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (4 4 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (4 4 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (4 4 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (2 2 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE FN-CHECK-DEF-FORMALS))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (1 1 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(VL::VL-EXPR-P-OF-VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE.NEW-EXPR
 (92 1 (:REWRITE STR-FIX-DEFAULT))
 (89 1 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (74 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (37 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (37 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (16 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (13 3 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (10 1 (:REWRITE VL::VL-DATATYPE-FIX-WHEN-VL-DATATYPE-P))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (8 4 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (8 1 (:REWRITE VL::VL-EXPR-FIX-WHEN-VL-EXPR-P))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 2 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (5 5 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (5 1 (:REWRITE VL::VL-DATATYPE-P-WHEN-VL-MAYBE-DATATYPE-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (4 4 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (4 4 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (4 4 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (4 4 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-DATATYPE-P))
 (3 1 (:REWRITE STR-FIX-WHEN-STRINGP))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DATATYPE-P))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-DATATYPE-P-WHEN-MEMBER-EQUAL-OF-VL-DATATYPELIST-P))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE VL::VL-MAYBE-DATATYPE-P-WHEN-VL-DATATYPE-P))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-EXPR-FIX-UNDER-VL-MAYBE-EXPR-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT MAYBE-NATP-FIX-UNDER-MAYBE-NAT-EQUIV))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-OF-VL-DATATYPE-FIX-TYPE
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (6 6 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-VL-DATATYPE-EQUIV-CONGRUENCE-ON-TYPE)
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-OF-VL-EXPR-FIX-EXPR
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (6 6 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-VL-EXPR-EQUIV-CONGRUENCE-ON-EXPR)
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-OF-VL-SCOPESTACK-FIX-SS
 (112 4 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (93 2 (:REWRITE STR-FIX-DEFAULT))
 (89 1 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (37 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (37 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (20 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (16 16 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (16 16 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (11 2 (:REWRITE VL::VL-DATATYPE-FIX-WHEN-VL-DATATYPE-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 2 (:REWRITE VL::VL-EXPR-FIX-WHEN-VL-EXPR-P))
 (8 8 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (5 5 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (5 5 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (5 5 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (5 5 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (5 5 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (5 5 (:REWRITE CONSP-BY-LEN))
 (5 1 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (5 1 (:REWRITE VL::VL-DATATYPE-P-WHEN-VL-MAYBE-DATATYPE-P))
 (4 4 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (4 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-EXPR-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-DATATYPE-P))
 (3 1 (:REWRITE VL::VL-SCOPESTACK-FIX-WHEN-VL-SCOPESTACK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SCOPESTACK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DATATYPE-P))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-EXPR-FIX-UNDER-VL-MAYBE-EXPR-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT MAYBE-NATP-FIX-UNDER-MAYBE-NAT-EQUIV))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-DATATYPE-P-WHEN-MEMBER-EQUAL-OF-VL-DATATYPELIST-P))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE VL::VL-SCOPESTACK-FIX-WHEN-NULL))
 (2 1 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (2 1 (:REWRITE VL::VL-MAYBE-DATATYPE-P-WHEN-VL-DATATYPE-P))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-SCOPESTACK-KIND$INLINE))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-VL-SCOPESTACK-EQUIV-CONGRUENCE-ON-SS)
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-OF-VL-ELABSCOPES-FIX-SCOPES
 (112 4 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (93 2 (:REWRITE STR-FIX-DEFAULT))
 (89 1 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (86 1 (:REWRITE VL::VL-ELABSCOPES-FIX-WHEN-VL-ELABSCOPES-P))
 (46 2 (:REWRITE VL::VL-ELABSCOPES-P-WHEN-SUBSETP-EQUAL))
 (37 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (37 1 (:REWRITE VL::VL-ELABSCOPES-P-WHEN-NOT-CONSP))
 (37 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (37 1 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (28 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (16 16 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (16 16 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (16 8 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (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))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (11 2 (:REWRITE VL::VL-DATATYPE-FIX-WHEN-VL-DATATYPE-P))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 2 (:REWRITE VL::VL-EXPR-FIX-WHEN-VL-EXPR-P))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (8 8 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (7 7 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (7 7 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (7 7 (:REWRITE CONSP-BY-LEN))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (5 1 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (5 1 (:REWRITE VL::VL-DATATYPE-P-WHEN-VL-MAYBE-DATATYPE-P))
 (4 4 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (4 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-EXPR-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-DATATYPE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MAYBE-DATATYPE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-P))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-EXPR-FIX-UNDER-VL-MAYBE-EXPR-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT MAYBE-NATP-FIX-UNDER-MAYBE-NAT-EQUIV))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-DATATYPE-P-WHEN-MEMBER-EQUAL-OF-VL-DATATYPELIST-P))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (2 1 (:REWRITE VL::VL-MAYBE-DATATYPE-P-WHEN-VL-DATATYPE-P))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-VL-ELABSCOPES-EQUIV-CONGRUENCE-ON-SCOPES)
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-OF-VL-WARNINGLIST-FIX-WARNINGS
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (6 6 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-VL-WARNINGLIST-EQUIV-CONGRUENCE-ON-WARNINGS)
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-OF-STR-FIX-PARAMNAME
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (6 6 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(VL::VL-CONVERT-PARAMETER-VALUE-TO-EXPLICIT-TYPE-STREQV-CONGRUENCE-ON-PARAMNAME)
(VL::VL-OVERRIDE-PARAMETER-FN
 (7034 43 (:REWRITE SUBSETP-APPEND1))
 (4133 198 (:REWRITE SUBSETP-TRANS2))
 (3507 134 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (3075 134 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (965 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (895 575 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (646 21 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (625 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (582 582 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (582 582 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (521 13 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (470 305 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (406 5 (:REWRITE VL::VL-ELABTRAVERSAL-STACK-P-WHEN-NOT-CONSP))
 (365 128 (:REWRITE LEN-WHEN-ATOM))
 (362 36 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (306 15 (:REWRITE NTH-WITH-LARGE-INDEX))
 (305 305 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (252 15 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (247 10 (:REWRITE VL::VL-ELABSCOPES-P-WHEN-SUBSETP-EQUAL))
 (236 118 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (214 5 (:REWRITE VL::VL-ELABSCOPES-P-WHEN-NOT-CONSP))
 (205 5 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (205 5 (:REWRITE VL::VL-ELABTRAVERSAL-P-WHEN-NOT-CONSP))
 (200 200 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (200 200 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (199 199 (:REWRITE CONSP-BY-LEN))
 (198 198 (:REWRITE SUBSETP-TRANS))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (195 195 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (195 195 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (195 195 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (168 4 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (135 135 (:REWRITE DEFAULT-CDR))
 (128 64 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (125 125 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (118 118 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (118 118 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (114 18 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (114 18 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (114 18 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (114 18 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (80 80 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (80 80 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (80 80 (:LINEAR LEN-WHEN-PREFIXP))
 (74 74 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (74 15 (:REWRITE NTH-WHEN-ATOM))
 (74 15 (:REWRITE VL::NTH-OF-ATOM))
 (73 14 (:REWRITE DEFAULT-CAR))
 (73 5 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (70 5 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (65 5 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (64 64 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (60 5 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (56 8 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (56 8 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (54 27 (:REWRITE DEFAULT-<-2))
 (51 51 (:TYPE-PRESCRIPTION NFIX))
 (48 4 (:REWRITE ALISTP-OF-CDR))
 (40 40 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (40 40 (:LINEAR INDEX-OF-<-LEN))
 (40 40 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (36 36 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (35 5 (:REWRITE |(< 0 (len x))|))
 (32 32 (:META CANCEL_PLUS-LESSP-CORRECT))
 (32 8 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (32 8 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (32 8 (:REWRITE ALISTP-WHEN-ATOM))
 (32 4 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (30 5 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (27 27 (:REWRITE DEFAULT-<-1))
 (24 6 (:REWRITE VL::VL-MAYBE-PARAMVALUE-P-WHEN-VL-PARAMVALUE-P))
 (22 22 (:REWRITE VL::VL-DATATYPE-P-WHEN-MEMBER-EQUAL-OF-VL-DATATYPELIST-P))
 (20 5 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (16 16 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (16 16 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (16 16 (:TYPE-PRESCRIPTION ALISTP))
 (15 15 (:REWRITE NTH-WHEN-ZP))
 (14 14 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (12 12 (:TYPE-PRESCRIPTION VL::VL-COMMENTMAP-P))
 (11 11 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (11 11 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (10 10 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (10 10 (:TYPE-PRESCRIPTION STRING-LISTP))
 (10 10 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (10 10 (:REWRITE VL::VL-ELABTRAVERSAL-STACK-P-WHEN-SUBSETP-EQUAL))
 (10 10 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (10 10 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (10 10 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (10 10 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (10 10 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (10 10 (:REWRITE NTH-WHEN-PREFIXP))
 (10 10 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (10 5 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (10 5 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (10 5 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (10 5 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (10 5 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (9 9 (:TYPE-PRESCRIPTION VL::VL-PARAMVALUE-P))
 (9 2 (:REWRITE CONSP-OF-NTH-WHEN-CONS-LISTP))
 (8 8 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (8 4 (:REWRITE VL::VL-COMMENTMAP-P-OF-CDR-WHEN-VL-COMMENTMAP-P))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (7 2 (:REWRITE CONSP-OF-NTH-WHEN-ATOM-LISTP))
 (6 6 (:TYPE-PRESCRIPTION CONS-LISTP))
 (6 6 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (5 5 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (5 5 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (5 5 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (5 5 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (5 5 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (5 5 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (5 5 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (5 5 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (5 5 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (5 5 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (5 5 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (5 5 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (5 5 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (5 5 (:REWRITE SET::IN-SET))
 (5 5 (:REWRITE FN-CHECK-DEF-FORMALS))
 (5 5 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (4 4 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE CONS-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE CONS-LISTP-WHEN-MEMBER-EQUAL-OF-CONS-LIST-LISTP))
 (2 2 (:REWRITE ATOM-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE CONS-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE ATOM-LISTP-WHEN-NOT-CONSP))
 )
(VL::BOOLEANP-OF-VL-OVERRIDE-PARAMETER.OKP
 (666 18 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (76 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (38 38 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (38 38 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (38 19 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (38 19 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (37 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (33 1 (:REWRITE VL::VL-PARAMDECL-FIX-WHEN-VL-PARAMDECL-P))
 (19 19 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (19 19 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (19 19 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (19 19 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (19 19 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (19 19 (:REWRITE CONSP-BY-LEN))
 (18 9 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (12 12 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (12 12 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (9 9 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (9 9 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (7 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (7 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (7 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (7 1 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (2 2 (:REWRITE BOOLEANP-WHEN-MEMBER-EQUAL-OF-BOOLEAN-LISTP))
 )
(VL::VL-WARNINGLIST-P-OF-VL-OVERRIDE-PARAMETER.WARNINGS
 (1822 37 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (807 19 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (695 29 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (555 15 (:REWRITE VL::CONSP-OF-VL-WARNINGLIST-FIX))
 (429 13 (:REWRITE VL::VL-PARAMDECL-FIX-WHEN-VL-PARAMDECL-P))
 (352 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (186 90 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (180 180 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (180 180 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (176 88 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (162 81 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (146 2 (:REWRITE CONSP-APPEND))
 (114 114 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (104 52 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (92 92 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (91 13 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (91 13 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (91 13 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (91 13 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (88 88 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (88 88 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (88 88 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (88 88 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (88 88 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (88 88 (:REWRITE CONSP-BY-LEN))
 (81 81 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (81 81 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (73 73 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (73 73 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (52 52 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (52 52 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (52 24 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (36 36 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (28 24 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (26 26 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (26 26 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (24 24 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (24 24 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 )
(VL::VL-PARAMDECL-P-OF-VL-OVERRIDE-PARAMETER.NEW-PARAM
 (666 18 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (76 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (38 38 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (38 38 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (38 19 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (38 19 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (37 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (33 1 (:REWRITE VL::VL-PARAMDECL-FIX-WHEN-VL-PARAMDECL-P))
 (26 13 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (19 19 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (19 19 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (19 19 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (19 19 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (19 19 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (19 19 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (19 19 (:REWRITE CONSP-BY-LEN))
 (16 8 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (13 13 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (13 13 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (12 12 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (12 12 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (4 4 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 )
(VL::VL-OVERRIDE-PARAMETER-FN-OF-VL-PARAMDECL-FIX-DECL
 (1332 36 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (152 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (112 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (104 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (76 38 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (76 38 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (74 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (57 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (38 38 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (38 38 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (38 38 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (38 38 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (38 38 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (38 38 (:REWRITE CONSP-BY-LEN))
 (35 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (28 14 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (24 24 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (24 24 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (20 8 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (14 14 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (14 14 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (8 8 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-VARDECL-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-TYPEDEF-P))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (4 4 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (4 4 (:REWRITE VL::TAG-OF-VL-PARAMDECL-FIX))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-TASKDECL-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MODPORT-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MODINST-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-IMPORT-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-GATEINST-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-FUNDECL-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-INTERFACEPORT-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-GENVAR-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-GENELEMENT-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-SEQUENCE-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PROPERTY-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-LETDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GENVAR-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GCLKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-FINAL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ELABTASK-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-DEFAULTDISABLE-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-COVERGROUP-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLKDECL-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CLASS-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-CASSERTION-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-BIND-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ASSERTION-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL::VL-MODELEMENT-P-WHEN-VL-ALIAS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-TASKDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-SEQUENCE-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-REGULARPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PROPERTY-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PORTDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-MODPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-MODINST-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-INTERFACEPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-INITIAL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-IMPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-GENELEMENT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-GATEINST-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FWDTYPEDEF-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FUNDECL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-FINAL-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ELABTASK-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-DPIIMPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-DPIEXPORT-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-COVERGROUP-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-CLASS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-CASSERTION-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-BIND-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ASSIGN-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ASSERTION-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ALWAYS-P))
 (3 1 (:REWRITE VL::VL-CTXELEMENT-P-WHEN-VL-ALIAS-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-VARDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-TYPEDEF-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-PARAMDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-LETDECL-P))
 (3 1 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-VL-IMPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SEQUENCE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SCOPEITEM-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PROPERTY-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PORTDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-MODELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-LETDECL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-INTERFACEPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-INITIAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GENVAR-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GENELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FWDTYPEDEF-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FINAL-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ELABTASK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-DPIEXPORT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CTXELEMENT-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-COVERGROUP-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CLASS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-CASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BLOCKITEM-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-BIND-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSIGN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ASSERTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALWAYS-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ALIAS-P))
 (2 2 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEMLIST-P))
 (2 2 (:REWRITE VL::VL-MODELEMENT-P-WHEN-MEMBER-EQUAL-OF-VL-MODELEMENTLIST-P))
 (2 2 (:REWRITE VL::VL-BLOCKITEM-P-WHEN-MEMBER-EQUAL-OF-VL-BLOCKITEMLIST-P))
 (2 1 (:REWRITE VL::VL-SCOPEITEM-P-WHEN-VL-MAYBE-SCOPEITEM-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-REGULARPORT-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-MAYBE-SCOPEITEM-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-GCLKDECL-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-DEFAULTDISABLE-P))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-CLKDECL-P))
 (1 1 (:REWRITE VL::VL-BLOCKITEM-P-BY-TAG-WHEN-VL-PORTDECL-OR-BLOCKITEM-P))
 )
(VL::VL-OVERRIDE-PARAMETER-FN-VL-PARAMDECL-EQUIV-CONGRUENCE-ON-DECL)
(VL::VL-OVERRIDE-PARAMETER-FN-OF-VL-MAYBE-PARAMVALUE-FIX-OVERRIDE
 (1332 36 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (152 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (99 19 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (76 38 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (76 38 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (74 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (66 2 (:REWRITE VL::VL-PARAMDECL-FIX-WHEN-VL-PARAMDECL-P))
 (38 38 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (38 38 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (38 38 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (38 38 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (38 38 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (38 38 (:REWRITE CONSP-BY-LEN))
 (37 2 (:REWRITE DEFAULT-CDR))
 (37 2 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (24 24 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (19 19 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (19 19 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (16 8 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (10 10 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (8 1 (:REWRITE VL::VL-MAYBE-PARAMVALUE-FIX-WHEN-VL-MAYBE-PARAMVALUE-P))
 (5 1 (:REWRITE VL::VL-MAYBE-PARAMVALUE-P-WHEN-VL-PARAMVALUE-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (4 4 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MAYBE-PARAMVALUE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-PARAMVALUE-P))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:REWRITE VL::VL-PARAMVALUE-P-WHEN-VL-MAYBE-PARAMVALUE-P))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE VL::VL-MAYBE-PARAMVALUE-FIX-WHEN-NONE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(VL::VL-OVERRIDE-PARAMETER-FN-VL-MAYBE-PARAMVALUE-EQUIV-CONGRUENCE-ON-OVERRIDE)
(VL::VL-OVERRIDE-PARAMETER-FN-OF-VL-SCOPESTACK-FIX-OV-SS
 (1332 36 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (152 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (76 38 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (76 38 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (74 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (66 2 (:REWRITE VL::VL-PARAMDECL-FIX-WHEN-VL-PARAMDECL-P))
 (38 38 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (38 38 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (38 38 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (38 38 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (38 38 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (38 38 (:REWRITE CONSP-BY-LEN))
 (36 18 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (24 24 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (24 24 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (18 18 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (18 18 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (16 8 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (4 4 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (3 1 (:REWRITE VL::VL-SCOPESTACK-FIX-WHEN-VL-SCOPESTACK-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SCOPESTACK-P))
 (2 1 (:REWRITE VL::VL-SCOPESTACK-FIX-WHEN-NULL))
 (1 1 (:TYPE-PRESCRIPTION VL::VL-SCOPESTACK-KIND$INLINE))
 )
(VL::VL-OVERRIDE-PARAMETER-FN-VL-SCOPESTACK-EQUIV-CONGRUENCE-ON-OV-SS)
(VL::VL-OVERRIDE-PARAMETER-FN-OF-VL-ELABTRAVERSAL-FIX-OV-SCOPE-PATH
 (1332 36 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (156 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (78 78 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (78 78 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (78 39 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (78 39 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (74 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (66 2 (:REWRITE VL::VL-PARAMDECL-FIX-WHEN-VL-PARAMDECL-P))
 (42 1 (:REWRITE VL::VL-ELABTRAVERSAL-FIX-WHEN-VL-ELABTRAVERSAL-P))
 (39 39 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (39 39 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (39 39 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (39 39 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (39 39 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (39 39 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (39 39 (:REWRITE CONSP-BY-LEN))
 (37 1 (:REWRITE VL::VL-ELABTRAVERSAL-P-WHEN-NOT-CONSP))
 (36 18 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (24 24 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (24 24 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (18 18 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (18 18 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (16 8 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (4 4 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-ELABTRAVERSAL-P))
 (2 2 (:REWRITE VL::VL-ELABTRAVERSAL-P-WHEN-SUBSETP-EQUAL))
 )
(VL::VL-OVERRIDE-PARAMETER-FN-VL-ELABTRAVERSAL-EQUIV-CONGRUENCE-ON-OV-SCOPE-PATH)
(VL::VL-OVERRIDE-PARAMETER-FN-OF-VL-WARNINGLIST-FIX-WARNINGS
 (1332 36 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (148 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (74 74 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (74 74 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (74 37 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (74 37 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (66 2 (:REWRITE VL::VL-PARAMDECL-FIX-WHEN-VL-PARAMDECL-P))
 (37 37 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (37 37 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (37 37 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (37 37 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (37 37 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (37 37 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (37 37 (:REWRITE CONSP-BY-LEN))
 (37 1 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (36 18 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (24 24 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (24 24 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (18 18 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (18 18 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (16 8 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (4 4 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 )
(VL::VL-OVERRIDE-PARAMETER-FN-VL-WARNINGLIST-EQUIV-CONGRUENCE-ON-WARNINGS)
(VL::VL-OVERRIDE-PARAMETER-FN-OF-VL-SIMPCONFIG-FIX-CONFIG
 (1332 36 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (152 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 1))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (76 38 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (76 38 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (74 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (66 2 (:REWRITE VL::VL-PARAMDECL-FIX-WHEN-VL-PARAMDECL-P))
 (38 38 (:TYPE-PRESCRIPTION VL::VL-ELABSCOPES-INIT))
 (38 38 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (38 38 (:REWRITE VL::VL-ELABSCOPES-P-OF-VL-ELABSCOPES-INIT))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-TYPE-ERROR-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SVEX-KEYVALLIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-STRING/INT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABTRAVERSAL-STACK-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPES-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ELABSCOPE-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (38 38 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 2))
 (38 38 (:REWRITE SV::CONSP-WHEN-MEMBER-EQUAL-OF-SVAR-SIZE-ALIST-P . 1))
 (38 38 (:REWRITE CONSP-BY-LEN))
 (36 18 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (24 24 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (24 24 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (18 18 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (18 18 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (16 8 (:REWRITE VL::TAG-WHEN-VL-PSCONFIG-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-SCOPEITEM-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (14 2 (:REWRITE VL::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PSCONFIG-P))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-PARAMDECL-P))
 (4 4 (:REWRITE-QUOTED-CONSTANT SV::MAYBE-4VEC-FIX-UNDER-MAYBE-4VEC-EQUIV))
 (4 4 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (3 1 (:REWRITE VL::VL-SIMPCONFIG-FIX-WHEN-VL-SIMPCONFIG-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-SIMPCONFIG-P))
 )
(VL::VL-OVERRIDE-PARAMETER-FN-VL-SIMPCONFIG-EQUIV-CONGRUENCE-ON-CONFIG)
