Commented ContextualAnalysisVisitor

Added comments for algorithm sketch and data structures used.