TIME: 280


SCC: 8 (loops closed under composition)
=================================
  24_loop(A,B) :- 24_loop(C,D) [1*D>=0,B>D,1*B>=1,A>C]
  RF: 1*B

  24_loop(A,B) :- 24_loop(C,D) [1*D=<0,D>B,1*B=< -1,C>A]
  RF: -1*B

=================================

SCC: 14
=================================
Global Ranking Function: nat(1*A)

  17_loop(A,B,C) :- 17_loop(D,E,F) [1*A+ -1*E>=0,1*E>=1,1*B+ -1*E=0,1*A+ -1*D+ -1*E=0,1*C+ -1*F= -1]
=================================