Flow Analysis Investigation of Roslyn flow analysis capabilities comparing with dynamic code execution