(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B)
(RULES
  f0(A, B) -> Com_1(f9(C, B))
  f9(A, B) -> Com_1(f19(A, 0)) [ A >= 6 ]
  f9(A, B) -> Com_1(f10(A, C)) [ A >= 6 /\ C >= 1 ]
  f9(A, B) -> Com_1(f10(A, C)) [ A >= 6 /\ 0 >= C + 1 ]
  f9(A, B) -> Com_1(f10(A, B)) [ 5 >= A ]
  f19(A, B) -> Com_1(f19(A - 1, B)) [ -B >= 0 /\ B >= 0 /\ A >= 3 ]
  f10(A, B) -> Com_1(f9(A + 1, B)) [ A >= 6 ]
  f10(A, B) -> Com_1(f9(A + 1, B)) [ 5 >= A ]
  f19(A, B) -> Com_1(f9(A, B)) [ -B >= 0 /\ B >= 0 /\ 2 >= A ]
)