Finish visitor MatchingExpresionFinder
New visitor SimplePatternChecker.
Small change in the SimplePatternChecker visitor.
new visitor AlwaysMatchingPatternChecker.