TIME: 680


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

  ConvertRec/ConvertRec_convert(LConvertRec/List;I)I(A,B) :- ConvertRec/ConvertRec_convert(LConvertRec/List;I)I(C,D) [1*A+ -1*C>=1,1*C>=1,1*B+ -1*D=0]
=================================

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

  ConvertRec/ConvertRec_createList(I)LConvertRec/List;(A) :- ConvertRec/ConvertRec_createList(I)LConvertRec/List;(B) [1*A>=2,1*A+ -1*B=1]
=================================