TIME: 160


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

  TestJulia6_iter()V(A) :- TestJulia6_iter()V(B) [1*A+ -1*B>=1,1*B>=1]
=================================