(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f)) (VAR A B) (RULES f(A, B) -> Com_1(g(A, B)) g(A, B) -> Com_1(g(2*A, B - 1)) [ B > 0 ] g(A, B) -> Com_1(h(A, B)) [ 0 >= B ] h(A, B) -> Com_1(h(A - 1, B)) [ -B >= 0 /\ A > 0 ] )