TIME: 1280


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

  BinarySearchTree_copy()LBinarySearchTree;(A) :- BinarySearchTree_copy()LBinarySearchTree;(B) [1*A+ -1*B>=1,1*B>=2]
=================================