<PackageReference Include="System.Diagnostics.Contracts" Version="4.3.0" />