public DefiniteAssignmentAnalysis CreateDefiniteAssignmentAnalysis (Statement root) { return new DefiniteAssignmentAnalysis (root, resolver, CancellationToken); }