(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B) (RULES f0(A, B) -> Com_1(f3(1, B)) f3(A, B) -> Com_1(f3(A + 1, -A + 10)) [ A - 1 >= 0 /\ 10 >= A ] f3(A, B) -> Com_1(f10(A, B)) [ A - 1 >= 0 /\ A >= 11 ] )