TIME: 179


SCC: 9
=================================
Global Ranking Function: nat(1*B+1)

  TwoWay/TwoWay_twoWay(ZI)I(A,B) :- TwoWay/TwoWay_twoWay(ZI)I(C,D) [1*D>=1,1*B+ -1*D= -1,1*A=0,1*C=0]
  TwoWay/TwoWay_twoWay(ZI)I(A,B) :- TwoWay/TwoWay_twoWay(ZI)I(C,D) [1*B>=0,1*A>=1,1*A+ -1*C=0,1*B+ -1*D=1]
  TwoWay/TwoWay_twoWay(ZI)I(A,B) :- TwoWay/TwoWay_twoWay(ZI)I(C,D) [-1*A>=1,1*D>= -1,1*A+ -1*C=0,1*B+ -1*D=1]
=================================