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