Both AnalyzeControlFlow and AnalyzeDataFlow are marked internal within SemanticModel.

They're exposed via extension methods in ModelExtensions.AnalyzeControlFlow and ModelExtension.AnalyzeDataFlow

I don't think accessing these methods through extension methods provides any value. I propose the extension methods be removed (for the above methods, and their other overload) and we simply mark the corresponding methods within SemanticModel as public.

If the team agrees, I can go ahead and submit a PR for this.