[AVL] uniformed the big-O notation