TIME: 80


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

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