rolled back and refined BST deletion