Auxiliary class to implement AVL_DICTIONARY.
ANY_AVL_DICTIONARY_NODE, AVL_TREE_NODE
Is element e in the tree?