Update AVLTree.h