(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f2)) (VAR A B C D E F G H) (RULES f2(A, B, C, D, E, F, G, H) -> Com_1(f1(A, B, C, D, E, F, I, J)) f1(A, B, C, D, E, F, G, H) -> Com_1(f300(A, A, I, J, E, K, G, H)) [ A = B ] f1(A, B, C, D, E, F, G, H) -> Com_1(f1(A, B, I, J, K, F, G, H)) [ B >= A + 1 ] f1(A, B, C, D, E, F, G, H) -> Com_1(f1(A, B, I, J, K, F, G, H)) [ A >= B + 1 ] )