shared/avl_tree : a module for managing avl trees