TIME: 219


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

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

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

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

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