(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E) (RULES f0(A,B,C,D) -> Com_1(f4(0,B,C,D)) f4(A,B,C,D) -> Com_1(f7(A,B,A + 1,D)) :|: B >= A + 1 f7(A,B,C,D) -> Com_1(f7(A,B,C + 1,0)) :|: B >= C + 1 f7(A,B,C,D) -> Com_1(f7(A,B - 1,C,E)) :|: B >= C + 1 && 0 >= E + 1 f7(A,B,C,D) -> Com_1(f7(A,B - 1,C,E)) :|: B >= C + 1 && E >= 1 f7(A,B,C,D) -> Com_1(f4(A + 1,B,C,D)) :|: C >= B f4(A,B,C,D) -> Com_1(f19(A,B,C,D)) :|: A >= B )