Test on AVLTree.java