(REMOVE-DEAD-IF-BRANCHES
 (2718 1248 (:REWRITE DEFAULT-+-2))
 (1655 1248 (:REWRITE DEFAULT-+-1))
 (832 208 (:DEFINITION INTEGER-ABS))
 (322 244 (:REWRITE DEFAULT-<-2))
 (274 244 (:REWRITE DEFAULT-<-1))
 (208 208 (:REWRITE DEFAULT-UNARY-MINUS))
 (125 125 (:REWRITE DEFAULT-COERCE-2))
 (125 125 (:REWRITE DEFAULT-COERCE-1))
 (104 104 (:REWRITE DEFAULT-REALPART))
 (104 104 (:REWRITE DEFAULT-NUMERATOR))
 (104 104 (:REWRITE DEFAULT-IMAGPART))
 (104 104 (:REWRITE DEFAULT-DENOMINATOR))
 (101 101 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (94 94 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (66 22 (:DEFINITION SYMBOL-LISTP))
 )
(REMOVE-DEAD-IF-BRANCHES-FLAG
 (2093 968 (:REWRITE DEFAULT-+-2))
 (1309 968 (:REWRITE DEFAULT-+-1))
 (720 180 (:DEFINITION INTEGER-ABS))
 (720 90 (:DEFINITION LENGTH))
 (284 218 (:REWRITE DEFAULT-<-2))
 (253 218 (:REWRITE DEFAULT-<-1))
 (180 180 (:REWRITE DEFAULT-UNARY-MINUS))
 (90 90 (:REWRITE DEFAULT-REALPART))
 (90 90 (:REWRITE DEFAULT-NUMERATOR))
 (90 90 (:REWRITE DEFAULT-IMAGPART))
 (90 90 (:REWRITE DEFAULT-DENOMINATOR))
 (90 90 (:REWRITE DEFAULT-COERCE-2))
 (90 90 (:REWRITE DEFAULT-COERCE-1))
 (16 2 (:TYPE-PRESCRIPTION RETURN-LAST))
 (2 2 (:TYPE-PRESCRIPTION THROW-NONEXEC-ERROR))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(REMOVE-DEAD-IF-BRANCHES-FLAG-EQUIVALENCES)
(FLAG-LEMMA-FOR-RETURN-TYPE-OF-REMOVE-DEAD-IF-BRANCHES.NEW-TERM
 (4135 4129 (:REWRITE DEFAULT-CDR))
 (2796 2783 (:REWRITE DEFAULT-CAR))
 (1810 905 (:REWRITE DEFAULT-+-2))
 (905 905 (:REWRITE DEFAULT-+-1))
 (488 488 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (455 455 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (169 169 (:REWRITE DEFAULT-COERCE-2))
 (169 169 (:REWRITE DEFAULT-COERCE-1))
 )
(RETURN-TYPE-OF-REMOVE-DEAD-IF-BRANCHES.NEW-TERM)
(RETURN-TYPE-OF-REMOVE-DEAD-IF-BRANCHES-LST.NEW-TERMS)
