(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E) (RULES f0(A, B, C, D, E) -> Com_1(f4(0, B, C, D, E)) f20(A, B, C, D, E) -> Com_1(f20(A, B + 1, B, D, E)) [ B - 100 >= 0 /\ A + B - 200 >= 0 /\ A - 100 >= 0 /\ 199 >= B ] f20(A, B, C, D, E) -> Com_1(f31(A, B, C, D, E)) [ B - 100 >= 0 /\ A + B - 200 >= 0 /\ A - 100 >= 0 /\ B >= 200 ] f4(A, B, C, D, E) -> Com_1(f4(A + 1, B, C, A, A)) [ A >= 0 /\ 99 >= A ] f4(A, B, C, D, E) -> Com_1(f20(A, 100, C, D, E)) [ A >= 0 /\ A >= 100 ] )