TIME: 120


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

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