TIME: 20


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

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