[BST] Simplified the notations in imperative deletion algorithm