[RBT] Simplified the notation in deletion part