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