Fix AVL at-or-before search: t+