TIME: 119


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

  Nest/Nest_nest(I)I(A) :- Nest/Nest_nest(I)I(B) [1*B>=0,1*A+ -1*B=1]
  Nest/Nest_nest(I)I(A) :- Nest/Nest_nest(I)I(B) [1*A>=1,1*B=0]
=================================