Searching in core-avl