(YUL::VAR-UNIQUE-VARS
 (17 17 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (14 5 (:TYPE-PRESCRIPTION SET::INSERT))
 )
(YUL::IDENTIFIER-SET-RESULTP-OF-VAR-UNIQUE-VARS
 (60 5 (:REWRITE YUL::IDENTIFIER-FIX-WHEN-IDENTIFIERP))
 (40 2 (:REWRITE YUL::IDENTIFIER-SET-RESULTP-WHEN-RESERRP))
 (36 4 (:REWRITE SET::IN-TAIL))
 (35 7 (:REWRITE YUL::EMPTYP-IDENTIFIER-SET-FIX))
 (26 26 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (22 2 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (22 2 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (16 8 (:TYPE-PRESCRIPTION SET::INSERT))
 (16 2 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (14 14 (:REWRITE YUL::IDENTIFIERP-WHEN-MEMBER-EQUAL-OF-IDENTIFIER-LISTP))
 (12 4 (:REWRITE YUL::IDENTIFIER-SET-FIX-WHEN-IDENTIFIER-SETP))
 (10 10 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (10 2 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (8 8 (:REWRITE SET::IN-WHEN-MEMBER-EQUAL-OF-LIST-IN))
 (8 2 (:REWRITE SET::NEVER-IN-EMPTY))
 (7 7 (:REWRITE YUL::IDENTIFIERP-WHEN-IN-IDENTIFIER-SETP-BINDS-FREE-X))
 (7 7 (:REWRITE YUL::IDENTIFIERP-WHEN-ASSOC-IDENTIFIER-IDENTIFIER-MAPP-BINDS-FREE-X))
 (6 6 (:TYPE-PRESCRIPTION FTY::RESERRP))
 (4 4 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION FTY::RESERR))
 (4 1 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (2 2 (:REWRITE SET::INSERT-IDENTITY))
 )
(YUL::VAR-UNIQUE-VARS-TO-SET-INSERT
 (108 54 (:TYPE-PRESCRIPTION SET::INSERT))
 (64 9 (:REWRITE YUL::IDENTIFIER-FIX-WHEN-IDENTIFIERP))
 (60 60 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (54 6 (:REWRITE SET::IN-TAIL))
 (36 8 (:REWRITE YUL::EMPTYP-IDENTIFIER-SET-FIX))
 (33 3 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (31 4 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (28 28 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (25 5 (:REWRITE YUL::IDENTIFIERP-WHEN-IDENTIFIER-OPTIONP))
 (25 2 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (20 20 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SETP))
 (16 3 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (15 15 (:TYPE-PRESCRIPTION YUL::IDENTIFIERP))
 (15 7 (:REWRITE YUL::IDENTIFIER-SET-FIX-WHEN-IDENTIFIER-SETP))
 (12 12 (:REWRITE SET::IN-WHEN-MEMBER-EQUAL-OF-LIST-IN))
 (12 3 (:REWRITE SET::NEVER-IN-EMPTY))
 (10 10 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-OPTIONP))
 (10 10 (:REWRITE YUL::IDENTIFIERP-WHEN-MEMBER-EQUAL-OF-IDENTIFIER-LISTP))
 (10 5 (:REWRITE YUL::IDENTIFIER-OPTIONP-WHEN-IDENTIFIERP))
 (6 6 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (5 5 (:REWRITE YUL::IDENTIFIERP-WHEN-IN-IDENTIFIER-SETP-BINDS-FREE-X))
 (5 5 (:REWRITE YUL::IDENTIFIERP-WHEN-ASSOC-IDENTIFIER-IDENTIFIER-MAPP-BINDS-FREE-X))
 )
(YUL::VAR-UNIQUE-VARS-OF-IDENTIFIER-FIX-VAR
 (56 28 (:TYPE-PRESCRIPTION SET::INSERT))
 (28 28 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (27 5 (:REWRITE YUL::IDENTIFIERP-WHEN-IDENTIFIER-OPTIONP))
 (25 4 (:REWRITE YUL::EMPTYP-IDENTIFIER-SET-FIX))
 (22 2 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (19 3 (:REWRITE SET::IN-TAIL))
 (17 17 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (12 5 (:REWRITE YUL::IDENTIFIER-OPTIONP-WHEN-IDENTIFIERP))
 (11 1 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (10 10 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-OPTIONP))
 (10 10 (:REWRITE YUL::IDENTIFIERP-WHEN-MEMBER-EQUAL-OF-IDENTIFIER-LISTP))
 (10 4 (:REWRITE YUL::IDENTIFIER-SET-FIX-WHEN-IDENTIFIER-SETP))
 (9 3 (:DEFINITION NOT))
 (6 6 (:REWRITE SET::IN-WHEN-MEMBER-EQUAL-OF-LIST-IN))
 (6 6 (:REWRITE YUL::IDENTIFIERP-WHEN-ASSOC-IDENTIFIER-IDENTIFIER-MAPP-BINDS-FREE-X))
 (5 2 (:REWRITE SET::NEVER-IN-EMPTY))
 (2 2 (:REWRITE SET::INSERT-IDENTITY))
 )
(YUL::VAR-UNIQUE-VARS-IDENTIFIER-EQUIV-CONGRUENCE-ON-VAR)
(YUL::VAR-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS
 (61 6 (:REWRITE YUL::IDENTIFIER-FIX-WHEN-IDENTIFIERP))
 (56 28 (:TYPE-PRESCRIPTION SET::INSERT))
 (42 42 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (25 5 (:REWRITE YUL::IDENTIFIERP-WHEN-IDENTIFIER-OPTIONP))
 (25 4 (:REWRITE YUL::EMPTYP-IDENTIFIER-SET-FIX))
 (22 2 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (19 3 (:REWRITE SET::IN-TAIL))
 (17 17 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (15 15 (:TYPE-PRESCRIPTION YUL::IDENTIFIERP))
 (11 1 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (10 10 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-OPTIONP))
 (10 10 (:REWRITE YUL::IDENTIFIERP-WHEN-MEMBER-EQUAL-OF-IDENTIFIER-LISTP))
 (10 5 (:REWRITE YUL::IDENTIFIER-OPTIONP-WHEN-IDENTIFIERP))
 (9 3 (:DEFINITION NOT))
 (6 6 (:REWRITE SET::IN-WHEN-MEMBER-EQUAL-OF-LIST-IN))
 (5 5 (:REWRITE YUL::IDENTIFIERP-WHEN-IN-IDENTIFIER-SETP-BINDS-FREE-X))
 (5 5 (:REWRITE YUL::IDENTIFIERP-WHEN-ASSOC-IDENTIFIER-IDENTIFIER-MAPP-BINDS-FREE-X))
 (5 2 (:REWRITE SET::NEVER-IN-EMPTY))
 (2 2 (:REWRITE SET::INSERT-IDENTITY))
 )
(YUL::VAR-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::VAR-LIST-UNIQUE-VARS
 (8 2 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (5 1 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (3 3 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE YUL::IDENTIFIERP-WHEN-IN-IDENTIFIER-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE YUL::IDENTIFIERP-WHEN-ASSOC-IDENTIFIER-IDENTIFIER-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE YUL::IDENTIFIER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(YUL::IDENTIFIER-SET-RESULTP-OF-VAR-LIST-UNIQUE-VARS
 (9 9 (:REWRITE DEFAULT-CAR))
 (4 4 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (3 1 (:REWRITE YUL::IDENTIFIER-SET-FIX-WHEN-IDENTIFIER-SETP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(YUL::VAR-LIST-UNIQUE-VARS-TO-SET-LIST-INSERT
 (884 74 (:REWRITE SET::INSERT-IDENTITY))
 (773 50 (:REWRITE YUL::IDENTIFIER-FIX-WHEN-IDENTIFIERP))
 (638 85 (:REWRITE YUL::EMPTYP-IDENTIFIER-SET-FIX))
 (599 74 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (422 422 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (300 10 (:REWRITE SET::IN-INSERT))
 (296 148 (:TYPE-PRESCRIPTION SET::INSERT))
 (294 31 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (273 79 (:REWRITE SET::IN-TAIL))
 (232 232 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (228 38 (:REWRITE YUL::IDENTIFIERP-OF-CAR-WHEN-IDENTIFIER-LISTP))
 (206 206 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (191 29 (:REWRITE SET::IN-OF-CAR-WHEN-LIST-IN))
 (190 5 (:REWRITE SET::INSERT-INSERT))
 (182 182 (:REWRITE YUL::IDENTIFIERP-WHEN-MEMBER-EQUAL-OF-IDENTIFIER-LISTP))
 (178 178 (:REWRITE SET::IN-WHEN-MEMBER-EQUAL-OF-LIST-IN))
 (156 113 (:REWRITE DEFAULT-CAR))
 (120 16 (:REWRITE YUL::IDENTIFIER-LIST-FIX-WHEN-IDENTIFIER-LISTP))
 (116 116 (:REWRITE YUL::IDENTIFIER-LISTP-WHEN-SUBSETP-EQUAL))
 (115 72 (:REWRITE DEFAULT-CDR))
 (91 91 (:REWRITE YUL::IDENTIFIERP-WHEN-IN-IDENTIFIER-SETP-BINDS-FREE-X))
 (91 91 (:REWRITE YUL::IDENTIFIERP-WHEN-ASSOC-IDENTIFIER-IDENTIFIER-MAPP-BINDS-FREE-X))
 (66 24 (:REWRITE SET::LIST-IN-WHEN-NOT-CONSP))
 (60 10 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (59 58 (:REWRITE YUL::IDENTIFIER-LISTP-WHEN-NOT-CONSP))
 (48 48 (:TYPE-PRESCRIPTION SET::LIST-IN))
 (48 48 (:REWRITE SET::LIST-IN-WHEN-SUBSETP-EQUAL))
 (24 4 (:REWRITE YUL::IDENTIFIER-LISTP-OF-CDR-WHEN-IDENTIFIER-LISTP))
 (15 15 (:REWRITE SET::INSERT-NEVER-EMPTY))
 )
(YUL::VAR-LIST-UNIQUE-VARS-OF-IDENTIFIER-LIST-FIX-VARS
 (291 37 (:REWRITE YUL::IDENTIFIER-LIST-FIX-WHEN-IDENTIFIER-LISTP))
 (186 102 (:REWRITE DEFAULT-CDR))
 (130 128 (:REWRITE DEFAULT-CAR))
 (108 36 (:REWRITE YUL::IDENTIFIER-SET-FIX-WHEN-IDENTIFIER-SETP))
 (96 96 (:REWRITE YUL::IDENTIFIER-LISTP-WHEN-SUBSETP-EQUAL))
 (86 86 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (78 13 (:REWRITE YUL::IDENTIFIER-LISTP-OF-CDR-WHEN-IDENTIFIER-LISTP))
 (72 72 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SETP))
 (52 48 (:REWRITE YUL::IDENTIFIER-LISTP-WHEN-NOT-CONSP))
 (24 2 (:REWRITE YUL::IDENTIFIER-FIX-WHEN-IDENTIFIERP))
 (16 2 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (10 2 (:REWRITE YUL::IDENTIFIERP-WHEN-IDENTIFIER-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION YUL::IDENTIFIERP))
 (4 4 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-OPTIONP))
 (4 4 (:REWRITE YUL::IDENTIFIERP-WHEN-MEMBER-EQUAL-OF-IDENTIFIER-LISTP))
 (4 2 (:REWRITE YUL::IDENTIFIER-OPTIONP-WHEN-IDENTIFIERP))
 (2 2 (:REWRITE YUL::IDENTIFIERP-WHEN-IN-IDENTIFIER-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE YUL::IDENTIFIERP-WHEN-ASSOC-IDENTIFIER-IDENTIFIER-MAPP-BINDS-FREE-X))
 )
(YUL::VAR-LIST-UNIQUE-VARS-IDENTIFIER-LIST-EQUIV-CONGRUENCE-ON-VARS)
(YUL::VAR-LIST-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS
 (8 8 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(YUL::VAR-LIST-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::STATEMENT-UNIQUE-VARS
 (56 14 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (48 16 (:REWRITE DEFAULT-<-2))
 (48 16 (:REWRITE DEFAULT-<-1))
 (35 7 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (21 21 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (10 1 (:DEFINITION BINARY-APPEND))
 (8 2 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (7 7 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 )
(YUL::STATEMENTS/BLOCKS/CASES/FUNDEFS-UNIQUE-VARS-FLAG
 (118 2 (:TYPE-PRESCRIPTION RETURN-LAST))
 (56 14 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (54 54 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (48 16 (:REWRITE DEFAULT-<-2))
 (48 16 (:REWRITE DEFAULT-<-1))
 (35 7 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (21 21 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (10 1 (:DEFINITION BINARY-APPEND))
 (8 2 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (7 7 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION THROW-NONEXEC-ERROR))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(YUL::STATEMENTS/BLOCKS/CASES/FUNDEFS-UNIQUE-VARS-FLAG-EQUIVALENCES)
(YUL::FLAG-LEMMA-FOR-RETURN-TYPE-OF-STATEMENT-UNIQUE-VARS.NEW-ALLVARS
 (140 14 (:DEFINITION BINARY-APPEND))
 (112 28 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (88 88 (:REWRITE DEFAULT-CAR))
 (84 84 (:TYPE-PRESCRIPTION YUL::FUNDEF->OUTPUTS$INLINE))
 (70 70 (:TYPE-PRESCRIPTION YUL::FUNDEF->INPUTS$INLINE))
 (70 28 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (44 44 (:REWRITE DEFAULT-CDR))
 (36 36 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 (27 9 (:REWRITE YUL::IDENTIFIER-SET-FIX-WHEN-IDENTIFIER-SETP))
 )
(YUL::RETURN-TYPE-OF-STATEMENT-UNIQUE-VARS.NEW-ALLVARS)
(YUL::RETURN-TYPE-OF-STATEMENT-LIST-UNIQUE-VARS.NEW-ALLVARS)
(YUL::RETURN-TYPE-OF-BLOCK-UNIQUE-VARS.NEW-ALLVARS)
(YUL::RETURN-TYPE-OF-BLOCK-OPTION-UNIQUE-VARS.NEW-ALLVARS)
(YUL::RETURN-TYPE-OF-SWCASE-UNIQUE-VARS.NEW-ALLVARS)
(YUL::RETURN-TYPE-OF-SWCASE-LIST-UNIQUE-VARS.NEW-ALLVARS)
(YUL::RETURN-TYPE-OF-FUNDEF-UNIQUE-VARS.NEW-ALLVARS)
(YUL::STATEMENT-UNIQUE-VARS
 (104 26 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (71 1 (:DEFINITION YUL::STATEMENT-UNIQUE-VARS))
 (65 13 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (39 39 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (26 26 (:TYPE-PRESCRIPTION FTY::RESERRP))
 (22 1 (:DEFINITION YUL::SWCASE-LIST-UNIQUE-VARS))
 (16 2 (:DEFINITION BINARY-APPEND))
 (10 10 (:REWRITE YUL::FUNDEFP-WHEN-MEMBER-EQUAL-OF-FUNDEF-LISTP))
 (8 2 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (7 7 (:REWRITE YUL::IDENTIFIER-SET-FIX-WHEN-IDENTIFIER-SETP))
 (7 7 (:REWRITE DEFAULT-CAR))
 (7 4 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (5 5 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE SUBSETP-TRANS2))
 (3 3 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE YUL::IDENTIFIER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:DEFINITION YUL::BLOCK-UNIQUE-VARS))
 (1 1 (:REWRITE YUL::SWCASE-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE YUL::STATEMENT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:DEFINITION YUL::SWCASE-UNIQUE-VARS))
 )
(YUL::FLAG-LEMMA-FOR-STATEMENT-UNIQUE-VARS-OF-STATEMENT-FIX-STMT
 (1560 129 (:REWRITE YUL::STATEMENT-FIX-WHEN-STATEMENTP))
 (1274 962 (:REWRITE DEFAULT-CAR))
 (645 129 (:REWRITE YUL::STATEMENTP-WHEN-STATEMENT-OPTIONP))
 (635 73 (:REWRITE YUL::SWCASE-FIX-WHEN-SWCASEP))
 (558 432 (:REWRITE DEFAULT-CDR))
 (387 387 (:TYPE-PRESCRIPTION YUL::STATEMENTP))
 (380 38 (:DEFINITION BINARY-APPEND))
 (362 362 (:REWRITE YUL::SWCASE-LISTP-WHEN-SUBSETP-EQUAL))
 (362 362 (:REWRITE YUL::STATEMENT-LISTP-WHEN-SUBSETP-EQUAL))
 (270 45 (:REWRITE YUL::SWCASEP-OF-CAR-WHEN-SWCASE-LISTP))
 (270 45 (:REWRITE YUL::STATEMENTP-OF-CAR-WHEN-STATEMENT-LISTP))
 (268 76 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (258 258 (:TYPE-PRESCRIPTION YUL::STATEMENT-OPTIONP))
 (258 258 (:REWRITE YUL::STATEMENTP-WHEN-MEMBER-EQUAL-OF-STATEMENT-LISTP))
 (258 129 (:REWRITE YUL::STATEMENT-OPTIONP-WHEN-STATEMENTP))
 (192 192 (:TYPE-PRESCRIPTION YUL::FUNDEF->OUTPUTS$INLINE))
 (185 181 (:REWRITE YUL::SWCASE-LISTP-WHEN-NOT-CONSP))
 (185 181 (:REWRITE YUL::STATEMENT-LISTP-WHEN-NOT-CONSP))
 (180 30 (:REWRITE YUL::SWCASE-LISTP-OF-CDR-WHEN-SWCASE-LISTP))
 (180 30 (:REWRITE YUL::STATEMENT-LISTP-OF-CDR-WHEN-STATEMENT-LISTP))
 (154 154 (:TYPE-PRESCRIPTION YUL::FUNDEF->INPUTS$INLINE))
 (154 76 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (146 146 (:TYPE-PRESCRIPTION YUL::SWCASEP))
 (146 146 (: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))
 (18 18 (:REWRITE YUL::FUNDEFP-WHEN-MEMBER-EQUAL-OF-FUNDEF-LISTP))
 (8 6 (:REWRITE YUL::BLOCK-OPTION-FIX-WHEN-NONE))
 (2 2 (:TYPE-PRESCRIPTION YUL::STATEMENT-SWITCH->DEFAULT$INLINE))
 (1 1 (:TYPE-PRESCRIPTION YUL::IDENTIFIER-SET-FIX))
 )
(YUL::STATEMENT-UNIQUE-VARS-OF-STATEMENT-FIX-STMT)
(YUL::STATEMENT-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS)
(YUL::STATEMENT-LIST-UNIQUE-VARS-OF-STATEMENT-LIST-FIX-STMTS)
(YUL::STATEMENT-LIST-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS)
(YUL::BLOCK-UNIQUE-VARS-OF-BLOCK-FIX-BLOCK)
(YUL::BLOCK-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS)
(YUL::BLOCK-OPTION-UNIQUE-VARS-OF-BLOCK-OPTION-FIX-BLOCK?)
(YUL::BLOCK-OPTION-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS)
(YUL::SWCASE-UNIQUE-VARS-OF-SWCASE-FIX-CASE)
(YUL::SWCASE-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS)
(YUL::SWCASE-LIST-UNIQUE-VARS-OF-SWCASE-LIST-FIX-CASES)
(YUL::SWCASE-LIST-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS)
(YUL::FUNDEF-UNIQUE-VARS-OF-FUNDEF-FIX-FUNDEF)
(YUL::FUNDEF-UNIQUE-VARS-OF-IDENTIFIER-SET-FIX-ALLVARS)
(YUL::STATEMENT-UNIQUE-VARS-STATEMENT-EQUIV-CONGRUENCE-ON-STMT)
(YUL::STATEMENT-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::STATEMENT-LIST-UNIQUE-VARS-STATEMENT-LIST-EQUIV-CONGRUENCE-ON-STMTS)
(YUL::STATEMENT-LIST-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::BLOCK-UNIQUE-VARS-BLOCK-EQUIV-CONGRUENCE-ON-BLOCK)
(YUL::BLOCK-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::BLOCK-OPTION-UNIQUE-VARS-BLOCK-OPTION-EQUIV-CONGRUENCE-ON-BLOCK?)
(YUL::BLOCK-OPTION-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::SWCASE-UNIQUE-VARS-SWCASE-EQUIV-CONGRUENCE-ON-CASE)
(YUL::SWCASE-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::SWCASE-LIST-UNIQUE-VARS-SWCASE-LIST-EQUIV-CONGRUENCE-ON-CASES)
(YUL::SWCASE-LIST-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::FUNDEF-UNIQUE-VARS-FUNDEF-EQUIV-CONGRUENCE-ON-FUNDEF)
(YUL::FUNDEF-UNIQUE-VARS-IDENTIFIER-SET-EQUIV-CONGRUENCE-ON-ALLVARS)
(YUL::FLAG-LEMMA-FOR-STATEMENT-UNIQUE-VARS-EXTEND
 (310 35 (:DEFINITION BINARY-APPEND))
 (286 286 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (234 82 (:REWRITE SET::EMPTYP-SUBSET))
 (214 82 (:REWRITE SET::EMPTYP-SUBSET-2))
 (179 179 (:REWRITE DEFAULT-CAR))
 (173 50 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (118 70 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (103 103 (:REWRITE DEFAULT-CDR))
 (69 69 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (63 63 (:REWRITE YUL::IDENTIFIER-SET-FIX-UNDER-IDENTIFIER-SET-EQUIV))
 (46 46 (:TYPE-PRESCRIPTION YUL::STATEMENT-SWITCH->CASES$INLINE))
 (18 18 (:TYPE-PRESCRIPTION YUL::STATEMENT-SWITCH->DEFAULT$INLINE))
 (7 1 (:REWRITE SET::INSERT-IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION YUL::BLOCK->STATEMENTS$INLINE))
 (3 3 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (3 1 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (2 2 (:REWRITE SET::IN-WHEN-MEMBER-EQUAL-OF-LIST-IN))
 (2 1 (:REWRITE SET::IN-TAIL))
 (1 1 (:REWRITE-QUOTED-CONSTANT YUL::BLOCK-OPTION-FIX-UNDER-BLOCK-OPTION-EQUIV))
 )
(YUL::STATEMENT-UNIQUE-VARS-EXTEND)
(YUL::STATEMENT-LIST-UNIQUE-VARS-EXTEND)
(YUL::BLOCK-UNIQUE-VARS-EXTEND)
(YUL::BLOCK-OPTION-UNIQUE-VARS-EXTEND)
(YUL::SWCASE-UNIQUE-VARS-EXTEND)
(YUL::SWCASE-LIST-UNIQUE-VARS-EXTEND)
(YUL::FUNDEF-UNIQUE-VARS-EXTEND)
