I followed control down into at_bvfind(), and avl_find returns returning NULL. So why is dc not in the AVL tree yet, why so many others are?