TIME: 20


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

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