TIME: 560


SCC: 9
=================================
Global Ranking Function: nat(1*A+ -1)

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

SCC: 44
=================================
Global Ranking Function: nat(1*A+ -1)

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