More narrow ctor in BaseInstructionsVisitor removed, and additional
analyze method added to BaseMethodAnalyzer.