Moved prints to PatternMatcher