TIME: 819


SCC: 17
=================================
Global Ranking Function: nat(1*A+ -1)

  BTreeR_height()I(A) :- BTreeR_height()I(B) [1*A+ -1*B>=1,1*B>=1]
=================================

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

  BTreeR_(I)V(A,B) :- BTreeR_(I)V(C,D) [1*B>=2,1*A>=1,1*C=1,1*B+ -1*D=1]
=================================