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