(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f3)) (VAR A B C D E F G) (RULES f0(A, B, C, D, E, F, G) -> Com_1(f2(A, B, C, D, E, F, G)) [ 0 >= A ] f0(A, B, C, D, E, F, G) -> Com_1(f0(A - 1, C, C - 1, A, E, F, G)) [ A >= 1 ] f2(A, B, C, D, E, F, G) -> Com_1(f4(A, B, C, D, E, F, H)) [ 0 >= C ] f2(A, B, C, D, E, F, G) -> Com_1(f0(H, B, C, D, E, F, G)) [ H >= 1 /\ C >= 1 ] f3(A, B, C, D, E, F, G) -> Com_1(f2(H, B, I, D, E, F, G)) )