TIME: 680


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

  IntListDupRec/List_dupList()V(A) :- IntListDupRec/List_dupList()V(B) [1*A+ -1*B>=1,1*B>=1]
=================================

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

  IntListDupRec/List_createList(I)LIntListDupRec/List;(A) :- IntListDupRec/List_createList(I)LIntListDupRec/List;(B) [1*B>= -1,1*A+ -1*B=1]
=================================