SimpleInstructionsAnalysisVisitor extracted.