TIME: 20


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

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