[RBT] Simplified the notation in blackness propagate up case