PatternMatcher Tests