TIME: 2360 SCC: 51 ================================= Global Ranking Function: nat(1*A+ -1) ListInt_append(LListInt;)LListInt;(A,B) :- ListInt_append(LListInt;)LListInt;(C,D) [1*B>= -1,1*A+ -1*C>=1,1*C>=1,1*B+ -1*D=0] ================================= SCC: 62 ================================= Global Ranking Function: nat(1*A+ -1) ListInt_reverse()LListInt;(A) :- ListInt_reverse()LListInt;(B) [1*A+ -1*B>=1,1*B>=1] ================================= SCC: 81 ================================= Global Ranking Function: nat(1*A+ -1) ListInt_reverseAcc(LListInt;)LListInt;(A,B) :- ListInt_reverseAcc(LListInt;)LListInt;(C,D) [1*D>= -1,1*B>= -1,1*A+ -1*C>=1,1*C>=1] ================================= SCC: 91 ================================= Global Ranking Function: nat(1*A+ -1) ListInt_iter()V(A) :- ListInt_iter()V(B) [1*A+ -1*B>=1,1*B>=1] ================================= SCC: 131 ================================= Global Ranking Function: nat(1*A+1*B+ -2) ListInt_merge(LListInt;)LListInt;(A,B) :- ListInt_merge(LListInt;)LListInt;(C,D) [1*B+ -1*D>=1,1*D>=1,1*A>=1,1*A+ -1*C=0] ListInt_merge(LListInt;)LListInt;(A,B) :- ListInt_merge(LListInt;)LListInt;(C,D) [1*B>=1,1*A+ -1*C>=1,1*C>=1,1*B+ -1*D=0] =================================