(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f3)) (VAR A B C D E) (RULES f3(A,B,C,D) -> Com_1(f1(0,B,C,D)) f1(A,B,C,D) -> Com_1(f2(A,B,C,E)) :|: B >= C f1(A,B,C,D) -> Com_1(f2(1,1 + B,C,E)) :|: B + 1 = C && A = 0 f1(A,B,C,D) -> Com_1(f1(0,1 + B,-1 + C,D)) :|: C >= 2 + B && C >= 1 + B && A = 0 )