repair BinTree.delete() method