TIME: 240


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

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

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