(C::VAR-VISIBLE-PRESERVEP)
(C::VAR-VISIBLE-PRESERVEP-NECC
 (6 6 (:DEFINITION MV-NTH))
 )
(C::BOOLEANP-OF-VAR-VISIBLE-PRESERVEP)
(C::VAR-VISIBLE-PRESERVEP)
(C::VAR-VISIBLE-PRESERVEP-OF-COMPUSTATE-FIX-COMPST
 (2760 492 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (1620 324 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (972 972 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (648 648 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (648 324 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (409 409 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (409 409 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (409 409 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (409 409 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (409 409 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (409 409 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (409 409 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::VAR-VISIBLE-PRESERVEP-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::VAR-VISIBLE-PRESERVEP-OF-COMPUSTATE-FIX-COMPST1
 (2178 386 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (1280 256 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (768 768 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (512 512 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (512 256 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (359 359 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (359 359 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (359 359 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (359 359 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (359 359 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (359 359 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (359 359 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::VAR-VISIBLE-PRESERVEP-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST1)
(C::VAR-VISIBLE-PRESERVEP-REFLEXIVE
 (2 2 (:REWRITE C::VAR-VISIBLE-PRESERVEP-NECC))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::VAR-VISIBLE-PRESERVEP-TRANSITIVE
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::LEMMA1
 (2 2 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::LEMMA2
 (4 4 (:REWRITE ZP-OPEN))
 (4 4 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::LEMMA3
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C::LEMMA4)
(C::VAR-VISIBLE-PRESERVEP-OF-CREATE-VAR
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::VAR-VISIBLE-PRESERVEP-TRANSITIVE))
 )
(C::LEMMA
 (194 97 (:TYPE-PRESCRIPTION C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS))
 (78 19 (:DEFINITION C::PEEL-FRAMES))
 (26 26 (:REWRITE C::COMPUSTATE-FIX-UNDER-COMPUSTATE-EQUIV))
 (19 19 (:REWRITE ZP-OPEN))
 (15 3 (:LINEAR C::CAR-OF-COMPUSTATE-SCOPES-NUMBERS-LOWER-BOUND))
 (4 4 (:REWRITE SUBSETP-MEMBER . 4))
 (4 4 (:REWRITE SUBSETP-MEMBER . 3))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (4 4 (:REWRITE INTERSECTP-MEMBER . 3))
 (4 4 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(C::VAR-VISIBLE-PRESERVEP-OF-WRITE-OBJECT
 (1 1 (:REWRITE C::VAR-VISIBLE-PRESERVEP-TRANSITIVE))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::LEMMA1
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (2 2 (:REWRITE ZP-OPEN))
 )
(C::LEMMA2
 (1 1 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE C::VAR-VISIBLE-PRESERVEP-TRANSITIVE))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::LEMMA
 (2 2 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE C::VAR-VISIBLE-PRESERVEP-TRANSITIVE))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::VAR-VISIBLE-PRESERVEP-OF-EXIT-SCOPE-AND-EXIT-SCOPE
 (2 2 (:REWRITE C::VAR-VISIBLE-PRESERVEP-TRANSITIVE))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::VAR-VISIBLE-PRESERVEP-OF-EXIT-SCOPE-WHEN-ENTER-SCOPE)
(C::VAR-VISIBLE-PRESERVEP-OF-TRANS-EXIT-SCOPE-WHEN-ENTER-SCOPE)
(C::LEMMA
 (1 1 (:REWRITE C::VAR-VISIBLE-PRESERVEP-TRANSITIVE))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::VAR-VISIBLE-PRESERVEP-OF-POP-FRAME-AND-POP-FRAME
 (2 2 (:REWRITE C::VAR-VISIBLE-PRESERVEP-TRANSITIVE))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::VAR-VISIBLE-PRESERVEP-OF-POP-FRAME-WHEN-PUSH-FRAME)
(C::FLAG-LEMMA-FOR-VAR-VISIBLE-PRESERVEP-OF-EXEC-FUN
 (1760760 163678 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (637691 94114 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (472992 159536 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (351295 70259 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (254112 254112 (:TYPE-PRESCRIPTION C::EXPR-BINARY->ARG1$INLINE))
 (234632 234632 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (150029 150029 (:REWRITE FOLD-CONSTS-IN-+))
 (140518 140518 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (140518 70259 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (132768 132768 (:TYPE-PRESCRIPTION C::EXPR-BINARY->ARG2$INLINE))
 (97088 97088 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (84704 84704 (:REWRITE C::EXPRP-OF-EXPR-BINARY->ARG1))
 (61272 61272 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (44256 44256 (:REWRITE C::EXPRP-OF-EXPR-BINARY->ARG2))
 (33696 33696 (:TYPE-PRESCRIPTION C::EXPR-COND->TEST$INLINE))
 (30930 5155 (:REWRITE C::EXPR-LIST-PUREP-WHEN-NOT-CONSP))
 (21687 21687 (:REWRITE C::RETURN-TYPE-OF-EXEC-EXPR.NEW-COMPST))
 (15636 15636 (:TYPE-PRESCRIPTION C::EXPR-CALL->ARGS$INLINE))
 (11232 11232 (:REWRITE C::EXPRP-OF-EXPR-COND->TEST))
 (10080 10080 (:TYPE-PRESCRIPTION C::EXPR-ARRSUB->ARR$INLINE))
 (5760 5760 (:TYPE-PRESCRIPTION C::EXPR-COND->THEN$INLINE))
 (5760 5760 (:TYPE-PRESCRIPTION C::EXPR-COND->ELSE$INLINE))
 (5371 5371 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (5371 5371 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (4695 1199 (:REWRITE C::EXPRP-OF-CAR-WHEN-EXPR-LISTP))
 (4032 4032 (:TYPE-PRESCRIPTION C::EXPR-UNARY->ARG$INLINE))
 (4032 4032 (:TYPE-PRESCRIPTION C::EXPR-MEMBERP->TARGET$INLINE))
 (4032 4032 (:TYPE-PRESCRIPTION C::EXPR-ARRSUB->SUB$INLINE))
 (3744 3744 (:TYPE-PRESCRIPTION C::EXPR-MEMBER->TARGET$INLINE))
 (3744 3744 (:TYPE-PRESCRIPTION C::EXPR-CAST->ARG$INLINE))
 (3360 3360 (:REWRITE C::EXPRP-OF-EXPR-ARRSUB->ARR))
 (2752 2752 (:TYPE-PRESCRIPTION C::STMT-IFELSE->TEST$INLINE))
 (2496 2496 (:TYPE-PRESCRIPTION C::STMT-IF->TEST$INLINE))
 (2281 2281 (:TYPE-PRESCRIPTION C::EXPR-LISTP))
 (1920 1920 (:REWRITE C::EXPRP-OF-EXPR-COND->THEN))
 (1920 1920 (:REWRITE C::EXPRP-OF-EXPR-COND->ELSE))
 (1488 180 (:REWRITE C::STMT-FIX-WHEN-STMTP))
 (1376 1376 (:REWRITE C::EXPRP-OF-STMT-IFELSE->TEST))
 (1344 1344 (:REWRITE C::EXPRP-OF-EXPR-UNARY->ARG))
 (1344 1344 (:REWRITE C::EXPRP-OF-EXPR-MEMBERP->TARGET))
 (1344 1344 (:REWRITE C::EXPRP-OF-EXPR-ARRSUB->SUB))
 (1280 1280 (:TYPE-PRESCRIPTION C::INITER-SINGLE->GET$INLINE))
 (1248 1248 (:REWRITE C::EXPRP-OF-STMT-IF->TEST))
 (1248 1248 (:REWRITE C::EXPRP-OF-EXPR-MEMBER->TARGET))
 (1248 1248 (:REWRITE C::EXPRP-OF-EXPR-CAST->ARG))
 (1074 1074 (:REWRITE C::EXPR-LISTP-WHEN-NOT-CONSP))
 (1044 1044 (:REWRITE C::COMPUSTATEP-OF-EXIT-SCOPE))
 (933 933 (:REWRITE C::COMPUSTATEP-OF-ENTER-SCOPE))
 (916 180 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (640 640 (:REWRITE C::EXPRP-OF-INITER-SINGLE->GET))
 (524 524 (:TYPE-PRESCRIPTION C::STMTP))
 (448 448 (:TYPE-PRESCRIPTION C::STMT-EXPR->GET$INLINE))
 (439 40 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (376 180 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (360 360 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (224 224 (:REWRITE C::EXPRP-OF-STMT-EXPR->GET))
 (174 33 (:REWRITE C::INITER-FIX-WHEN-INITERP))
 (146 146 (:REWRITE-QUOTED-CONSTANT C::VALUE-OPTION-FIX-UNDER-VALUE-OPTION-EQUIV))
 (145 145 (:TYPE-PRESCRIPTION C::INITER-LIST->GET$INLINE))
 (125 25 (:DEFINITION LEN))
 (117 117 (:REWRITE C::RETURN-TYPE-OF-EXEC-EXPR-LIST.NEW-COMPST))
 (117 117 (:REWRITE C::EXPR-LISTP-OF-EXPR-CALL->ARGS))
 (105 33 (:REWRITE C::INITERP-WHEN-INITER-OPTIONP))
 (78 78 (:TYPE-PRESCRIPTION C::EXPR-CALL->FUN$INLINE))
 (75 75 (:REWRITE-QUOTED-CONSTANT C::SCOPE-LIST-FIX-UNDER-SCOPE-LIST-EQUIV))
 (50 50 (:TYPE-PRESCRIPTION C::FUN-INFO->BODY$INLINE))
 (50 50 (:REWRITE C::COMPUSTATEP-OF-PUSH-FRAME))
 (41 41 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (41 41 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (41 41 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (41 41 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (41 41 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (40 40 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (39 39 (:TYPE-PRESCRIPTION C::INITERP))
 (39 39 (:REWRITE C::IDENTP-OF-EXPR-CALL->FUN))
 (36 36 (:TYPE-PRESCRIPTION C::INITER-OPTIONP))
 (32 8 (:REWRITE C::EXPR-LISTP-OF-CDR-WHEN-EXPR-LISTP))
 (30 30 (:REWRITE C::INITER-OPTIONP-OF-OBJ-DECLON-TO-IDENT+SCSPEC+TYNAME+INIT.INIT))
 (30 6 (:REWRITE C::VAR-VISIBLE-PRESERVEP-OF-EXIT-SCOPE-WHEN-ENTER-SCOPE))
 (20 20 (:TYPE-PRESCRIPTION C::STMT-DOWHILE->TEST$INLINE))
 (16 16 (:REWRITE C::RETURN-TYPE-OF-EXEC-BLOCK-ITEM.NEW-COMPST))
 (16 16 (:REWRITE C::EXPR-LISTP-OF-INITER-LIST->GET))
 (14 14 (:TYPE-PRESCRIPTION C::STMT-COMPOUND->ITEMS$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C::STMT-IFELSE->THEN$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C::STMT-IFELSE->ELSE$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C::STMT-IF->THEN$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-STMT->GET$INLINE))
 (10 10 (:REWRITE C::EXPRP-OF-STMT-DOWHILE->TEST))
 (8 8 (:TYPE-PRESCRIPTION C::STMT-WHILE->TEST$INLINE))
 (8 8 (:REWRITE C::RETURN-TYPE-OF-EXEC-STMT.NEW-COMPST))
 (6 3 (:REWRITE C::INITER-OPTIONP-WHEN-INITERP))
 (4 4 (:REWRITE C::STMTP-OF-STMT-IFELSE->THEN))
 (4 4 (:REWRITE C::STMTP-OF-STMT-IFELSE->ELSE))
 (4 4 (:REWRITE C::STMTP-OF-STMT-IF->THEN))
 (4 4 (:REWRITE C::STMTP-OF-BLOCK-ITEM-STMT->GET))
 (4 4 (:REWRITE C::EXPRP-OF-STMT-WHILE->TEST))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 )
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-FUN)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-EXPR)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-EXPR-LIST)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-STMT)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-STMT-WHILE)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-STMT-DOWHILE)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-INITER)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-OBJ-DECLON)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-BLOCK-ITEM)
(C::VAR-VISIBLE-PRESERVEP-OF-EXEC-BLOCK-ITEM-LIST)
(C::VAR-VISIBLE-OF-EXEC-FUN
 (8 8 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-EXPR
 (8 8 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-EXPR-LIST
 (8 8 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-STMT
 (12 12 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-STMT-WHILE
 (12 12 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-STMT-DOWHILE
 (12 12 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-INITER
 (12 12 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-OBJ-DECLON
 (4 4 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-BLOCK-ITEM
 (12 12 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C::VAR-VISIBLE-OF-EXEC-BLOCK-ITEM-LIST
 (12 12 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
