TIME: 259


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

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

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