Class PatternMatchCounter