[RBT] Simplified pattern matching notation in tree rotation