[AVL] Simplified the tree construction notation