Comment describing the BaseMethodAnalyzer's expectation on a Visitor's
behavior added.