Удаление Code Contracts c помощью Roslyn

[novar]

А можно поподробнее про

заменяет проверки Code Contracts на их эквивалент вне Code Contracts

?
Желательно с примерами.

[shai_hulud]

К примеру проверка с помощью Requires

Contract.Requires(myParam != null) 

будет заменена на

if (myParam == null) 
    throw new ArgumentNullException();

Contract.Assert и Contract.Assume на Debug.Assert
Contact.Ensures, Contract.EndContractBlock и другие будут удалены.
Атрибуты и методы проверки инварианта остаются.