(YUL::STATEMENT-NOLOOPINITP
 (58 2 (:DEFINITION YUL::STATEMENT-NOLOOPINITP))
 (45 15 (:REWRITE DEFAULT-<-2))
 (45 15 (:REWRITE DEFAULT-<-1))
 (13 13 (:REWRITE DEFAULT-CAR))
 (7 7 (:REWRITE DEFAULT-CDR))
 (6 1 (:DEFINITION YUL::SWCASE-LIST-NOLOOPINITP))
 (3 3 (:REWRITE SUBSETP-TRANS2))
 (3 3 (:REWRITE SUBSETP-TRANS))
 (2 2 (:DEFINITION YUL::SWCASE-NOLOOPINITP))
 (1 1 (:REWRITE YUL::SWCASE-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE YUL::STATEMENT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:DEFINITION YUL::BLOCK-NOLOOPINITP))
 )
(YUL::STATEMENTS/BLOCKS/CASES/FUNDEFS-NOLOOPINITP-FLAG
 (45 15 (:REWRITE DEFAULT-<-2))
 (45 15 (:REWRITE DEFAULT-<-1))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(YUL::STATEMENTS/BLOCKS/CASES/FUNDEFS-NOLOOPINITP-FLAG-EQUIVALENCES)
(YUL::FLAG-LEMMA-FOR-RETURN-TYPE-OF-STATEMENT-NOLOOPINITP.YES/NO)
(YUL::RETURN-TYPE-OF-STATEMENT-NOLOOPINITP.YES/NO)
(YUL::RETURN-TYPE-OF-STATEMENT-LIST-NOLOOPINITP.YES/NO)
(YUL::RETURN-TYPE-OF-BLOCK-NOLOOPINITP.YES/NO)
(YUL::RETURN-TYPE-OF-BLOCK-OPTION-NOLOOPINITP.YES/NO)
(YUL::RETURN-TYPE-OF-SWCASE-NOLOOPINITP.YES/NO)
(YUL::RETURN-TYPE-OF-SWCASE-LIST-NOLOOPINITP.YES/NO)
(YUL::RETURN-TYPE-OF-FUNDEF-NOLOOPINITP.YES/NO)
(YUL::FLAG-LEMMA-FOR-STATEMENT-NOLOOPINITP-OF-STATEMENT-FIX-STMT
 (760 67 (:REWRITE YUL::STATEMENT-FIX-WHEN-STATEMENTP))
 (335 67 (:REWRITE YUL::STATEMENTP-WHEN-STATEMENT-OPTIONP))
 (201 201 (:TYPE-PRESCRIPTION YUL::STATEMENTP))
 (185 19 (:REWRITE YUL::SWCASE-FIX-WHEN-SWCASEP))
 (140 86 (:REWRITE DEFAULT-CAR))
 (134 134 (:TYPE-PRESCRIPTION YUL::STATEMENT-OPTIONP))
 (134 134 (:REWRITE YUL::STATEMENTP-WHEN-MEMBER-EQUAL-OF-STATEMENT-LISTP))
 (134 67 (:REWRITE YUL::STATEMENT-OPTIONP-WHEN-STATEMENTP))
 (112 112 (:REWRITE YUL::SWCASE-LISTP-WHEN-SUBSETP-EQUAL))
 (112 112 (:REWRITE YUL::STATEMENT-LISTP-WHEN-SUBSETP-EQUAL))
 (92 56 (:REWRITE DEFAULT-CDR))
 (90 15 (:REWRITE YUL::SWCASEP-OF-CAR-WHEN-SWCASE-LISTP))
 (90 15 (:REWRITE YUL::STATEMENTP-OF-CAR-WHEN-STATEMENT-LISTP))
 (60 56 (:REWRITE YUL::SWCASE-LISTP-WHEN-NOT-CONSP))
 (60 56 (:REWRITE YUL::STATEMENT-LISTP-WHEN-NOT-CONSP))
 (54 9 (:REWRITE YUL::SWCASE-LISTP-OF-CDR-WHEN-SWCASE-LISTP))
 (54 9 (:REWRITE YUL::STATEMENT-LISTP-OF-CDR-WHEN-STATEMENT-LISTP))
 (38 38 (:TYPE-PRESCRIPTION YUL::SWCASEP))
 (38 38 (:REWRITE YUL::SWCASEP-WHEN-MEMBER-EQUAL-OF-SWCASE-LISTP))
 (28 8 (:REWRITE YUL::BLOCKP-WHEN-BLOCK-OPTIONP))
 (28 8 (:REWRITE YUL::BLOCK-OPTIONP-WHEN-BLOCKP))
 (10 10 (:REWRITE YUL::FUNDEFP-WHEN-MEMBER-EQUAL-OF-FUNDEF-LISTP))
 (6 5 (:REWRITE YUL::BLOCK-OPTION-FIX-WHEN-NONE))
 (1 1 (:TYPE-PRESCRIPTION YUL::STATEMENT-SWITCH->DEFAULT$INLINE))
 )
(YUL::STATEMENT-NOLOOPINITP-OF-STATEMENT-FIX-STMT)
(YUL::STATEMENT-LIST-NOLOOPINITP-OF-STATEMENT-LIST-FIX-STMTS)
(YUL::BLOCK-NOLOOPINITP-OF-BLOCK-FIX-BLOCK)
(YUL::BLOCK-OPTION-NOLOOPINITP-OF-BLOCK-OPTION-FIX-BLOCK?)
(YUL::SWCASE-NOLOOPINITP-OF-SWCASE-FIX-CASE)
(YUL::SWCASE-LIST-NOLOOPINITP-OF-SWCASE-LIST-FIX-CASES)
(YUL::FUNDEF-NOLOOPINITP-OF-FUNDEF-FIX-FUNDEF)
(YUL::STATEMENT-NOLOOPINITP-STATEMENT-EQUIV-CONGRUENCE-ON-STMT)
(YUL::STATEMENT-LIST-NOLOOPINITP-STATEMENT-LIST-EQUIV-CONGRUENCE-ON-STMTS)
(YUL::BLOCK-NOLOOPINITP-BLOCK-EQUIV-CONGRUENCE-ON-BLOCK)
(YUL::BLOCK-OPTION-NOLOOPINITP-BLOCK-OPTION-EQUIV-CONGRUENCE-ON-BLOCK?)
(YUL::SWCASE-NOLOOPINITP-SWCASE-EQUIV-CONGRUENCE-ON-CASE)
(YUL::SWCASE-LIST-NOLOOPINITP-SWCASE-LIST-EQUIV-CONGRUENCE-ON-CASES)
(YUL::FUNDEF-NOLOOPINITP-FUNDEF-EQUIV-CONGRUENCE-ON-FUNDEF)
(YUL::BLOCK-OPTION-NOLOOPINITP-WHEN-BLOCKP
 (8 2 (:REWRITE YUL::BLOCKP-WHEN-BLOCK-OPTIONP))
 (5 1 (:REWRITE YUL::BLOCK-OPTIONP-WHEN-BLOCKP))
 (3 3 (:TYPE-PRESCRIPTION YUL::BLOCK-OPTIONP))
 (2 2 (:DEFINITION YUL::BLOCK-NOLOOPINITP))
 )
