(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, B + B)) :|: A > 0 g(A, B) -> Com_1(h(A, B)) :|: A <= 0 h(A, B) -> Com_1(h(A, B - 1)) :|: B > 0 )