Refactoring of PropConInstructionAnalysisVisitor to
BaseInstructionAnalysisVisitor