(C::FLAG-LEMMA-FOR-EXEC-FUN-WITHOUT-CALLS
 (271574 40462 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (184866 63537 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (146630 29326 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (99112 99112 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (84672 84672 (:TYPE-PRESCRIPTION C::EXPR-BINARY->ARG1$INLINE))
 (58652 58652 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (58652 29326 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (41257 41257 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (28224 28224 (:REWRITE C::EXPRP-OF-EXPR-BINARY->ARG1))
 (26028 26028 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (15936 15936 (:TYPE-PRESCRIPTION C::EXPR-COND->TEST$INLINE))
 (9337 9337 (:REWRITE C::RETURN-TYPE-OF-EXEC-EXPR.NEW-COMPST))
 (8800 2200 (:REWRITE C::EXPR-LIST-PUREP-WHEN-NOT-CONSP))
 (6536 6536 (:TYPE-PRESCRIPTION C::EXPR-CALL->ARGS$INLINE))
 (5376 5376 (:TYPE-PRESCRIPTION C::EXPR-ARRSUB->ARR$INLINE))
 (5312 5312 (:REWRITE C::EXPRP-OF-EXPR-COND->TEST))
 (4868 1217 (:REWRITE C::EXPRP-OF-CAR-WHEN-EXPR-LISTP))
 (3744 3744 (:TYPE-PRESCRIPTION C::EXPR-COND->THEN$INLINE))
 (3744 3744 (:TYPE-PRESCRIPTION C::EXPR-COND->ELSE$INLINE))
 (3712 3712 (:TYPE-PRESCRIPTION C::STMT-IFELSE->TEST$INLINE))
 (3456 3456 (:TYPE-PRESCRIPTION C::STMT-IF->TEST$INLINE))
 (2784 2784 (:TYPE-PRESCRIPTION C::EXPR-ARRSUB->SUB$INLINE))
 (2434 2434 (:TYPE-PRESCRIPTION C::EXPR-LISTP))
 (2208 2208 (:TYPE-PRESCRIPTION C::EXPR-UNARY->ARG$INLINE))
 (2208 2208 (:TYPE-PRESCRIPTION C::EXPR-MEMBERP->TARGET$INLINE))
 (2016 2016 (:TYPE-PRESCRIPTION C::EXPR-MEMBER->TARGET$INLINE))
 (2016 2016 (:TYPE-PRESCRIPTION C::EXPR-CAST->ARG$INLINE))
 (1984 1984 (:TYPE-PRESCRIPTION C::INITER-SINGLE->GET$INLINE))
 (1872 1872 (:TYPE-PRESCRIPTION C::EXIT-SCOPE))
 (1856 1856 (:REWRITE C::EXPRP-OF-STMT-IFELSE->TEST))
 (1792 1792 (:REWRITE C::EXPRP-OF-EXPR-ARRSUB->ARR))
 (1728 1728 (:REWRITE C::EXPRP-OF-STMT-IF->TEST))
 (1690 1690 (:TYPE-PRESCRIPTION C::ENTER-SCOPE))
 (1586 190 (:REWRITE C::STMT-FIX-WHEN-STMTP))
 (1248 1248 (:REWRITE C::EXPRP-OF-EXPR-COND->THEN))
 (1248 1248 (:REWRITE C::EXPRP-OF-EXPR-COND->ELSE))
 (1217 1217 (:REWRITE C::EXPR-LISTP-WHEN-NOT-CONSP))
 (992 992 (:REWRITE C::EXPRP-OF-INITER-SINGLE->GET))
 (972 190 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (936 936 (:REWRITE C::COMPUSTATEP-OF-EXIT-SCOPE))
 (928 928 (:REWRITE C::EXPRP-OF-EXPR-ARRSUB->SUB))
 (845 845 (:REWRITE C::COMPUSTATEP-OF-ENTER-SCOPE))
 (768 768 (:TYPE-PRESCRIPTION C::STMT-EXPR->GET$INLINE))
 (736 736 (:REWRITE C::EXPRP-OF-EXPR-UNARY->ARG))
 (736 736 (:REWRITE C::EXPRP-OF-EXPR-MEMBERP->TARGET))
 (672 672 (:REWRITE C::EXPRP-OF-EXPR-MEMBER->TARGET))
 (672 672 (:REWRITE C::EXPRP-OF-EXPR-CAST->ARG))
 (548 548 (:TYPE-PRESCRIPTION C::STMTP))
 (402 190 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (384 384 (:REWRITE C::EXPRP-OF-STMT-EXPR->GET))
 (380 380 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (138 138 (:REWRITE-QUOTED-CONSTANT C::VALUE-OPTION-FIX-UNDER-VALUE-OPTION-EQUIV))
 (84 18 (:REWRITE C::BLOCK-ITEM-NOCALLSP-OF-CAR-WHEN-BLOCK-ITEM-LIST-NOCALLS))
 (42 42 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-LIST-NOCALLS))
 (28 28 (:TYPE-PRESCRIPTION C::STMT-DOWHILE->TEST$INLINE))
 (21 21 (:REWRITE C::BLOCK-ITEM-LIST-NOCALLS-WHEN-NOT-CONSP))
 (18 18 (:TYPE-PRESCRIPTION C::STMT-IFELSE->THEN$INLINE))
 (18 18 (:TYPE-PRESCRIPTION C::STMT-IFELSE->ELSE$INLINE))
 (18 18 (:TYPE-PRESCRIPTION C::STMT-IF->THEN$INLINE))
 (16 16 (:TYPE-PRESCRIPTION C::STMT-COMPOUND->ITEMS$INLINE))
 (14 14 (:REWRITE C::EXPRP-OF-STMT-DOWHILE->TEST))
 (12 12 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-STMT->GET$INLINE))
 (12 12 (:REWRITE C::RETURN-TYPE-OF-EXEC-BLOCK-ITEM.NEW-COMPST))
 (12 6 (:REWRITE C::INITER-OPTIONP-WHEN-INITERP))
 (12 3 (:REWRITE C::BLOCK-ITEM-LIST-NOCALLS-OF-CDR-WHEN-BLOCK-ITEM-LIST-NOCALLS))
 (8 8 (:TYPE-PRESCRIPTION C::STMT-WHILE->TEST$INLINE))
 (6 6 (:REWRITE C::STMTP-OF-STMT-IFELSE->THEN))
 (6 6 (:REWRITE C::STMTP-OF-STMT-IFELSE->ELSE))
 (6 6 (:REWRITE C::STMTP-OF-STMT-IF->THEN))
 (4 4 (:REWRITE C::STMTP-OF-BLOCK-ITEM-STMT->GET))
 (4 4 (:REWRITE C::RETURN-TYPE-OF-EXEC-STMT.NEW-COMPST))
 (4 4 (:REWRITE C::EXPRP-OF-STMT-WHILE->TEST))
 )
(C::EXEC-FUN-WITHOUT-CALLS)
(C::EXEC-EXPR-WITHOUT-CALLS)
(C::EXEC-EXPR-LIST-WITHOUT-CALLS)
(C::EXEC-STMT-WITHOUT-CALLS)
(C::EXEC-STMT-WHILE-WITHOUT-CALLS)
(C::EXEC-STMT-DOWHILE-WITHOUT-CALLS)
(C::EXEC-INITER-WITHOUT-CALLS)
(C::EXEC-OBJ-DECLON-WITHOUT-CALLS)
(C::EXEC-BLOCK-ITEM-WITHOUT-CALLS)
(C::EXEC-BLOCK-ITEM-LIST-WITHOUT-CALLS)
