bst fix del_min bug .