[RBT] Simplified the pattern matching notation