[RBT] Simplified some notation in deletion part