title: Code contracts on auto-implemented properties
body: <p>Is there any way to put contracts on automatically implemented properties in .NET?
  (And how if the answer is 'Yes')?</p>
  
  <p>(I assume using .NET code contracts from DevLabs)</p>