TIME: 680


SCC: 25 (loops closed under composition)
=================================
  AppE_appE(I)V(A,B) :- AppE_appE(I)V(C,D) [1*C>=1,D=B,A>C,1*A>=2]
  RF: 1*A+ -1

  AppE_appE(I)V(A,B) :- AppE_appE(I)V(C,D) [1*D>=0,1*C>=1,B>D,1*B>=1,1*A>=1]
  RF: 1*B

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

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

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