AVL tree implementation in Ada