(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D) (RULES f4(A,B,C) -> Com_1(f5(A,B,C)) :|: A >= B + 1 f0(A,B,C) -> Com_1(f4(D,D + 1,B)) f4(A,B,C) -> Com_1(f4(D,D + 1,B)) )