TIME: 800


SCC: 23
=================================
Global Ranking Function: nat(1*C+ -1*D)

  22_loop(A,B,C,D) :- 22_loop(E,F,G,H) [1*C+ -1*H>=0,1*B>=1,1*A+ -1*H>=0,1*H>=1,1*A+ -1*E=0,1*C+ -1*G=0,1*B+ -1*F=0,1*D+ -1*H= -1]
=================================