Some typos in PropConInstructionsAnalysisVisitor corrected.