(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f3)) (VAR A B) (RULES f3(A,B) -> Com_1(f0(0,B)) f0(A,B) -> Com_1(f0(A,B - 1)) :|: B >= 1 f4(A,B) -> Com_1(f4(A,B)) f0(A,B) -> Com_1(f4(-1,B)) :|: 0 >= B )