debugging AVL