(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C) (RULES f0(A,B,C) -> Com_1(f2(A,B,C)) :|: A >= 0 && B >= C f2(A,B,C) -> Com_1(f2(A - 1,B,C - 1)) :|: A >= 1 && B + 1 >= C f2(A,B,C) -> Com_1(f2(A,B + C - 1,C - 1)) :|: A >= 0 && B >= 0 )