[RBT] Simplified the notation in functional deletion part