CSharp implementations of Code Contracts ala DBC