Использование кодовых контрактов для указания возвращаемого значения может быть нулевым

Есть ли способ явно указать, что возвращаемое значение может быть null с использованием Code Contracts?

Меня беспокоит то, что методы без Contract.Ensures (Contract.Result