(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B) (RULES f0(A, B) -> Com_1(f6(0, C)) f6(A, B) -> Com_1(f6(A + 1, B)) [ A >= 0 /\ 49 >= A ] f6(A, B) -> Com_1(f14(A, B)) [ A >= 0 /\ A >= 50 ] )