Code Contracts annotations

[redknightlois]

Including CodeGuard in code that uses Code Contracts does not work because post-conditions cannot be checked and requires explicit assumes.

Would you accept a PR for this?

[3komma14]

Yes off course