public FlowState(TypeSystem typeSystem)
{
this.typeSystem = typeSystem;
Clear();
}
/// <summary>
/// Creates a new NullCheckingEngine instance for the specified compilation.
/// Note: for Roslyn's flow analysis to be useful to the inference, the given compilation should have as many reference types
/// annotated as nullable as possible. This can be accomplished by using <see cref="AllNullableSyntaxRewriter.MakeAllReferenceTypesNullable"/>.
/// </summary>
public NullCheckingEngine(CSharpCompilation compilation)
{
this.compilation = compilation;
this.typeSystem = new TypeSystem(compilation);
}