TIME: 40


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

  6_loop(A) :- 6_loop(B) [1*B>= -1,1*A+ -1*B=1]
=================================