TIME: 160


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

  25_loop(A,B,C) :- 25_loop(D,E,F) [1*A+ -1*D=0,1*C+ -1*F= -1,1*A+ -1*C>=0]
=================================

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

  FactSumList_doSum(LListReverse;)I(A) :- FactSumList_doSum(LListReverse;)I(B) [1*A+ -1*B>=1,1*B>=0]
=================================