TIME: 279


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

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

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

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