internal static ReachabilityAnalysis Create(Statement statement, Func<AstNode, CancellationToken, ResolveResult> resolver, CSharpTypeResolveContext typeResolveContext, CancellationToken cancellationToken)
 {
     var cfgBuilder = new ControlFlowGraphBuilder();
     var cfg = cfgBuilder.BuildControlFlowGraph(statement, resolver, typeResolveContext, cancellationToken);
     return Create(cfg, cancellationToken);
 }
 public static ReachabilityAnalysis Create(Statement statement, CSharpAstResolver resolver = null, CancellationToken cancellationToken = default(CancellationToken))
 {
     var cfgBuilder = new ControlFlowGraphBuilder();
     var cfg = cfgBuilder.BuildControlFlowGraph(statement, resolver, cancellationToken);
     return Create(cfg, cancellationToken);
 }