Контракты кода для автоматически реализуемых свойств

Есть ли способ поставить контракты на автоматически реализуемые свойства в .NET? (И как, если ответ «Да»)?

(Я предполагаю, что использую контракты кода .NET от DevLabs)