TIME: 60


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

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