Own version of C# Code Contracts to use before .NET 4.0 Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants. Just the basic functionalities are implemented.