Class IntroducePatternMatchingTransform