getInstructionAnalysisVisitor() now instantiates correctly typed
visitor.