Provides annotations for declaring the contracts in your code, in order to support enhanced static analysis. This includes all the JetBrains.Annotations understood by any published version of ReSharper.