Has anyone worked with CodeContracts (C#) ?

Hi,

How well does CodeContracts play in Unity to check Invariants, Preconditions and Postconditions of methods?
Any one tried this?

https://github.com/Microsoft/CodeContracts

Thanks.