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