(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f2)) (VAR A B) (RULES f2(A, B) -> Com_1(f300(A, B)) f300(A, B) -> Com_1(f300(A - 1, B)) [ A >= 0 ] f300(A, B) -> Com_1(f1(A, C)) [ 0 >= A + 1 ] )