TIME: 239


SCC: 27 (loops closed under composition)
=================================
  5_loop(A,B) :- 5_loop(C,D) [1*D>= -1,D>=C,1*C=< -1,B>D,B>C,1*B>=0,D>=A,C=A,B>A,1*A=< -1]
  RF: 1*B+1

  5_loop(A,B) :- 5_loop(C,D) [1*D>=0,1*C>= -1,A>C,1*A>=0]
  RF: 1*A+1

  5_loop(A,B) :- 5_loop(C,D) [1*D>= -1,1*A>=0,1*C= -1]
  RF: 1*A+1

=================================