(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B) (RULES f1(A, B) -> Com_1(f1(A + 11, B + 1)) [ B >= 1 /\ 100 >= A ] f1(A, B) -> Com_1(f1(A - 10, B - 1)) [ B >= 1 /\ A >= 101 ] f0(A, B) -> Com_1(f1(C, 1)) )