(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G) (RULES f0(A, B, C, D, E, F, G) -> Com_1(f5(0, B, C, D, E, F, G)) f5(A, B, C, D, E, F, G) -> Com_1(f5(A + 1, B, C, D, E, F, G)) [ A >= 0 /\ 99 >= A ] f5(A, B, C, D, E, F, G) -> Com_1(f13(A, B, C, A - 2, E, F, G)) [ A >= 0 /\ A >= 100 ] )