(APT::TAILREC-CHECK-NONREC-CONDITIONS)
(APT::BOOLEANP-OF-TAILREC-CHECK-NONREC-CONDITIONS.YES/NO
 (389 1 (:DEFINITION SUBST-EXPR1))
 (379 1 (:DEFINITION CONS-TERM))
 (364 1 (:DEFINITION CONS-TERM1))
 (144 144 (:TYPE-PRESCRIPTION SUBST-EXPR1-LST))
 (69 15 (:REWRITE DEFAULT-CAR))
 (67 13 (:REWRITE DEFAULT-CDR))
 (36 9 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (36 2 (:DEFINITION ALL-VARS1))
 (31 31 (:DEFINITION KWOTE))
 (23 23 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (23 23 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (23 23 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (23 23 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (23 23 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (23 23 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (22 1 (:DEFINITION MEMBER-EQUAL))
 (17 1 (:DEFINITION CHARACTER-LISTP))
 (16 4 (:REWRITE MEMBER-WHEN-ATOM))
 (16 2 (:DEFINITION ADD-TO-SET-EQUAL))
 (13 1 (:DEFINITION QUOTE-LISTP))
 (11 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (10 1 (:REWRITE STR::DEFAULT-CODE-CHAR))
 (8 8 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP))
 (8 8 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP))
 (8 1 (:DEFINITION QUOTEP))
 (7 1 (:REWRITE ZP-OPEN))
 (6 6 (:REWRITE DEFAULT-<-2))
 (6 6 (:REWRITE DEFAULT-<-1))
 (6 1 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (5 5 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (4 4 (:REWRITE SUBSETP-MEMBER . 4))
 (4 4 (:REWRITE SUBSETP-MEMBER . 3))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (4 4 (:REWRITE INTERSECTP-MEMBER . 3))
 (4 4 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 1 (:DEFINITION NOT))
 (3 2 (:REWRITE STR::DEC-DIGIT-CHAR-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION SUBST-EXPR1))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (2 2 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 (2 1 (:REWRITE DEFAULT-PKG-IMPORTS))
 (2 1 (:REWRITE STR::DEC-DIGIT-CHAR-LISTP-OF-CDR-WHEN-DEC-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::COERCE-TO-LIST-REMOVAL))
 (1 1 (:TYPE-PRESCRIPTION STRINGP-SYMBOL-PACKAGE-NAME))
 (1 1 (:TYPE-PRESCRIPTION QUOTE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (1 1 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (1 1 (:REWRITE DEFAULT-UNARY-MINUS))
 (1 1 (:REWRITE DEFAULT-UNARY-/))
 (1 1 (:REWRITE DEFAULT-SYMBOL-NAME))
 (1 1 (:REWRITE DEFAULT-REALPART))
 (1 1 (:REWRITE DEFAULT-NUMERATOR))
 (1 1 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (1 1 (:REWRITE DEFAULT-IMAGPART))
 (1 1 (:REWRITE DEFAULT-DENOMINATOR))
 (1 1 (:REWRITE DEFAULT-COMPLEX-2))
 (1 1 (:REWRITE DEFAULT-COMPLEX-1))
 (1 1 (:REWRITE DEFAULT-CODE-CHAR))
 (1 1 (:REWRITE DEFAULT-CHAR-CODE))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE DEFAULT-*-2))
 (1 1 (:REWRITE DEFAULT-*-1))
 (1 1 (:REWRITE STR::COERCE-TO-STRING-REMOVAL))
 )
(APT::TAILREC-FIND-NONREC-TERM
 (66 3 (:DEFINITION LENGTH))
 (58 28 (:REWRITE DEFAULT-+-2))
 (57 3 (:DEFINITION LEN))
 (39 28 (:REWRITE DEFAULT-+-1))
 (30 9 (:REWRITE DEFAULT-CDR))
 (24 6 (:REWRITE COMMUTATIVITY-OF-+))
 (24 6 (:DEFINITION INTEGER-ABS))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (9 9 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (9 7 (:REWRITE DEFAULT-<-2))
 (9 6 (:REWRITE STR::CONSP-OF-EXPLODE))
 (8 8 (:REWRITE FOLD-CONSTS-IN-+))
 (8 7 (:REWRITE DEFAULT-<-1))
 (6 6 (:REWRITE DEFAULT-UNARY-MINUS))
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 3 (:REWRITE STR::COERCE-TO-LIST-REMOVAL))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (3 3 (:TYPE-PRESCRIPTION LEN))
 (3 3 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (3 3 (:REWRITE DEFAULT-REALPART))
 (3 3 (:REWRITE DEFAULT-NUMERATOR))
 (3 3 (:REWRITE DEFAULT-IMAGPART))
 (3 3 (:REWRITE DEFAULT-DENOMINATOR))
 )
(APT::TAILREC-FIND-NONREC-TERM-IN-TERM/TERMS-FLAG
 (154 7 (:DEFINITION LENGTH))
 (137 66 (:REWRITE DEFAULT-+-2))
 (133 7 (:DEFINITION LEN))
 (92 66 (:REWRITE DEFAULT-+-1))
 (70 21 (:REWRITE DEFAULT-CDR))
 (56 14 (:REWRITE COMMUTATIVITY-OF-+))
 (56 14 (:DEFINITION INTEGER-ABS))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (21 21 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (21 14 (:REWRITE STR::CONSP-OF-EXPLODE))
 (20 16 (:REWRITE DEFAULT-<-2))
 (19 19 (:REWRITE FOLD-CONSTS-IN-+))
 (18 16 (:REWRITE DEFAULT-<-1))
 (15 15 (:REWRITE DEFAULT-CAR))
 (14 14 (:REWRITE DEFAULT-UNARY-MINUS))
 (14 7 (:REWRITE STR::COERCE-TO-LIST-REMOVAL))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (10 10 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (7 7 (:TYPE-PRESCRIPTION LEN))
 (7 7 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (7 7 (:REWRITE DEFAULT-REALPART))
 (7 7 (:REWRITE DEFAULT-NUMERATOR))
 (7 7 (:REWRITE DEFAULT-IMAGPART))
 (7 7 (:REWRITE DEFAULT-DENOMINATOR))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(APT::TAILREC-FIND-NONREC-TERM-IN-TERM/TERMS-FLAG-EQUIVALENCES)
(APT::TAILREC-DECOMPOSE-RECURSIVE-BRANCH)
(APT::TAILREC-PROCESS-OLD)
(APT::TAILREC-VARIANTP)
(APT::TYPE-WHEN-TAILREC-VARIANTP)
(APT::TAILREC-VARIANTP-POSSIBILITIES)
(APT::TAILREC-VARIANTP-FIX$INLINE)
(APT::RETURN-TYPE-OF-TAILREC-VARIANTP-FIX)
(APT::TAILREC-VARIANTP-FIX-IDEMPOTENT)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(APT::TAILREC-VARIANTP-EQUIV$INLINE)
(APT::TAILREC-VARIANTP-EQUIV-IS-AN-EQUIVALENCE)
(APT::TAILREC-VARIANTP-EQUIV-IMPLIES-EQUAL-TAILREC-VARIANTP-FIX-1)
(APT::TAILREC-VARIANTP-FIX-UNDER-TAILREC-VARIANTP-EQUIV)
(APT::TAILREC-PROCESS-VARIANT)
(APT::RETURN-TYPE-OF-TAILREC-PROCESS-VARIANT.ERP)
(APT::RETURN-TYPE-OF-TAILREC-PROCESS-VARIANT.VAL)
(APT::TAILREC-INFER-DOMAIN)
(APT::TAILREC-PROCESS-DOMAIN)
(APT::TAILREC-PROCESS-ACCUMULATOR
 (68 4 (:DEFINITION ASSOC-EQUAL))
 (53 29 (:REWRITE DEFAULT-CAR))
 (46 2 (:DEFINITION TRUE-LISTP))
 (43 1 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-TRUELIST-ALISTP))
 (43 1 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-SYMBOL-ALISTP))
 (37 1 (:REWRITE SYMBOL-TRUELIST-ALISTP-OF-CDR-WHEN-SYMBOL-TRUELIST-ALISTP))
 (37 1 (:REWRITE SYMBOL-SYMBOL-ALISTP-OF-CDR-WHEN-SYMBOL-SYMBOL-ALISTP))
 (32 20 (:REWRITE DEFAULT-CDR))
 (32 4 (:DEFINITION NTH))
 (21 21 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (21 21 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (21 21 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (21 21 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (21 21 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (21 21 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (19 4 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (8 2 (:REWRITE SYMBOL-TRUELIST-ALISTP-WHEN-NOT-CONSP))
 (8 2 (:REWRITE SYMBOL-SYMBOL-ALISTP-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (5 1 (:REWRITE PSEUDO-TERMFNP-WHEN-PSEUDO-LAMBDAP))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-THEOREM-SYMBOL-LISTP))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-TERMFN-LISTP))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-MACRO-SYMBOL-LISTP))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-LAMBDA-LISTP))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-FUNCTION-SYMBOL-LISTP))
 (4 4 (:REWRITE TRUE-LISTP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP))
 (4 4 (:REWRITE TRUE-LISTP-OF-CDR-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP))
 (4 4 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP))
 (4 4 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP))
 (4 4 (:REWRITE SYMBOL-TRUELIST-ALISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE SYMBOL-SYMBOL-ALISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:REWRITE LEGAL-VARIABLE-OR-CONSTANT-NAMEP-IMPLIES-SYMBOLP))
 (3 3 (:REWRITE SET::IN-SET))
 (2 2 (:TYPE-PRESCRIPTION PSEUDO-LAMBDAP))
 (2 2 (:REWRITE PSEUDO-TERMFNP-WHEN-MEMBER-EQUAL-OF-PSEUDO-TERMFN-LISTP))
 (2 2 (:REWRITE PSEUDO-LAMBDAP-WHEN-MEMBER-EQUAL-OF-PSEUDO-LAMBDA-LISTP))
 )
(APT::SYMBOLP-OF-TAILREC-PROCESS-ACCUMULATOR.A
 (85 5 (:DEFINITION ASSOC-EQUAL))
 (45 15 (:REWRITE DEFAULT-CAR))
 (40 5 (:DEFINITION NTH))
 (33 15 (:REWRITE DEFAULT-CDR))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (6 6 (:REWRITE RETURN-TYPE-OF-ENSURE-VALUE-IS-NOT-IN-LIST.ERP))
 (1 1 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 )
(APT::TAILREC-PROCESS-INPUTS)
(APT::TAILREC-GEN-VAR-U)
(APT::TAILREC-GEN-VAR-V)
(APT::TAILREC-GEN-VAR-W)
(APT::TAILREC-GEN-ID-VAR-U)
(APT::TAILREC-GEN-COMBINE-OP)
(APT::PSEUDO-LAMBDAP-OF-TAILREC-GEN-COMBINE-OP
 (104 4 (:DEFINITION TRUE-LISTP))
 (71 35 (:REWRITE DEFAULT-CAR))
 (66 40 (:REWRITE DEFAULT-CDR))
 (48 8 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (38 2 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-TRUELIST-ALISTP))
 (38 2 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-SYMBOL-ALISTP))
 (28 28 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (28 28 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (28 28 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (28 28 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (20 10 (:REWRITE DEFAULT-+-2))
 (18 6 (:REWRITE SYMBOL-TRUELIST-ALISTP-WHEN-NOT-CONSP))
 (16 16 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (16 8 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (16 4 (:REWRITE SYMBOL-SYMBOL-ALISTP-WHEN-NOT-CONSP))
 (14 2 (:REWRITE SYMBOL-TRUELIST-ALISTP-OF-CDR-WHEN-SYMBOL-TRUELIST-ALISTP))
 (14 2 (:REWRITE SYMBOL-SYMBOL-ALISTP-OF-CDR-WHEN-SYMBOL-SYMBOL-ALISTP))
 (12 12 (:REWRITE SYMBOL-TRUELIST-ALISTP-WHEN-SUBSETP-EQUAL))
 (12 2 (:REWRITE TRUE-LISTP-OF-CDAR-WHEN-SYMBOL-TRUELIST-ALISTP))
 (12 2 (:REWRITE TRUE-LISTP-OF-CDAR-WHEN-KEYWORD-TRUELIST-ALISTP))
 (10 10 (:REWRITE DEFAULT-+-1))
 (8 8 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (8 8 (:REWRITE TRUE-LISTP-WHEN-THEOREM-SYMBOL-LISTP))
 (8 8 (:REWRITE TRUE-LISTP-WHEN-TERMFN-LISTP))
 (8 8 (:REWRITE TRUE-LISTP-WHEN-MACRO-SYMBOL-LISTP))
 (8 8 (:REWRITE TRUE-LISTP-WHEN-LAMBDA-LISTP))
 (8 8 (:REWRITE TRUE-LISTP-WHEN-FUNCTION-SYMBOL-LISTP))
 (8 8 (:REWRITE TRUE-LISTP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP))
 (8 8 (:REWRITE TRUE-LISTP-OF-CDR-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP))
 (8 8 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP))
 (8 8 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP))
 (8 8 (:REWRITE SYMBOL-SYMBOL-ALISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE SET::IN-SET))
 (6 6 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (6 4 (:REWRITE STR::CONSP-OF-EXPLODE))
 (4 4 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (4 4 (:REWRITE KEYWORD-TRUELIST-ALISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (2 2 (:REWRITE KEYWORD-TRUELIST-ALISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 )
(APT::TAILREC-GEN-APPCONDS)
(APT::TAILREC-GEN-DOMAIN-OF-OLD-THM)
(APT::TAILREC-GEN-NEW-FN)
(APT::TAILREC-GEN-NEW-TO-OLD-THM)
(APT::TAILREC-GEN-ALPHA-FN)
(APT::TAILREC-GEN-ALPHA-COMPONENT-TERMS-AUX)
(APT::TAILREC-GEN-ALPHA-COMPONENT-TERMS)
(APT::TAILREC-GEN-TEST-OF-ALPHA-THM)
(APT::TAILREC-GEN-OLD-GUARD-OF-ALPHA-THM)
(APT::TAILREC-GEN-DOMAIN-OF-GROUND-BASE-THM)
(APT::TAILREC-GEN-COMBINE-LEFT-IDENTITY-GROUND-THM)
(APT::TAILREC-GEN-BASE-GUARD-THM)
(APT::TAILREC-GEN-OLD-AS-NEW-TERM)
(APT::TAILREC-GEN-OLD-TO-NEW-THM)
(APT::TAILREC-GEN-WRAPPER-FN)
(APT::TAILREC-GEN-OLD-TO-WRAPPER-THM)
(APT::TAILREC-GEN-WRAPPER-TO-OLD-THM)
(APT::TAILREC-GEN-EVERYTHING)
(APT::TAILREC-FN)
