Z3.csproj.BuildWithSkipAnalyzers 0 B