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