(YUL::FLAG-LEMMA-FOR-STATEMENT-NOFUNP-OF-STATEMENT-DEAD
 (94 83 (:REWRITE DEFAULT-CAR))
 (86 13 (:REWRITE YUL::BLOCKP-WHEN-BLOCK-OPTIONP))
 (79 79 (:REWRITE-QUOTED-CONSTANT YUL::STATEMENT-LIST-FIX-UNDER-STATEMENT-LIST-EQUIV))
 (73 62 (:REWRITE DEFAULT-CDR))
 (66 66 (:TYPE-PRESCRIPTION YUL::STATEMENT-SWITCH->DEFAULT$INLINE))
 (34 34 (:TYPE-PRESCRIPTION YUL::BLOCK->STATEMENTS$INLINE))
 (20 20 (:TYPE-PRESCRIPTION YUL::BLOCK-OPTION-DEAD))
 (15 15 (:REWRITE YUL::STATEMENT-FIX-WHEN-LEAVE))
 (15 15 (:REWRITE YUL::STATEMENT-FIX-WHEN-CONTINUE))
 (15 15 (:REWRITE YUL::STATEMENT-FIX-WHEN-BREAK))
 (10 10 (:TYPE-PRESCRIPTION YUL::STATEMENT-SWITCH->CASES$INLINE))
 (10 10 (:REWRITE YUL::FUNDEF-NOFUNP-WHEN-MEMBER-EQUAL-OF-FUNDEF-LIST-NOFUNP))
 (10 9 (:REWRITE YUL::CONSP-OF-SWCASE-LIST-DEAD))
 (8 8 (:REWRITE YUL::BLOCK-OPTIONP-OF-STATEMENT-SWITCH->DEFAULT))
 (6 6 (:REWRITE-QUOTED-CONSTANT YUL::SWCASE-LIST-FIX-UNDER-SWCASE-LIST-EQUIV))
 (6 3 (:REWRITE YUL::BLOCK-OPTION-DEAD-IFF))
 (4 2 (:REWRITE YUL::BLOCK-OPTIONP-WHEN-BLOCKP))
 (3 3 (:REWRITE-QUOTED-CONSTANT YUL::BLOCK-OPTION-FIX-UNDER-BLOCK-OPTION-EQUIV))
 (2 1 (:REWRITE YUL::BLOCK-OPTION-FIX-WHEN-NONE))
 (1 1 (:REWRITE YUL::STATEMENT-KIND-OF-STATEMENT-DEAD))
 )
(YUL::STATEMENT-NOFUNP-OF-STATEMENT-DEAD)
(YUL::STATEMENT-LIST-NOFUNP-OF-STATEMENT-LIST-DEAD)
(YUL::BLOCK-NOFUNP-OF-BLOCK-DEAD)
(YUL::BLOCK-OPTION-NOFUNP-OF-BLOCK-OPTION-DEAD)
(YUL::SWCASE-NOFUNP-OF-SWCASE-DEAD)
(YUL::SWCASE-LIST-NOFUNP-OF-SWCASE-LIST-DEAD)
(YUL::FUNDEF-NOFUNP-OF-FUNDEF-DEAD)
