TIME: 40


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

  TerminatorRec02_fact(I)I(A) :- TerminatorRec02_fact(I)I(B) [1*A>=2,1*A+ -1*B=1]
=================================