Testing AVLTrees