TIME: 40


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

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