Searching in abc/src/misc/avl