title: How to find 'masked' assertions in MS Code Contracts
body: <p>I have the following Message-level entry in my Error List from CodeContracts:</p>
  
  <p><em>CodeContracts: Checked 410 assertions: 404 correct (6 masked)</em></p>
  
  <p>I can't figure out:</p>
  
  <ol>
  <li>What masked assertions are</li>
  <li>How to locate the 6 that it mentions</li>
  <li>Whether or not I should be concerned about them</li>
  </ol>
  
  <p>Sorry for not posting code... I have no idea how to recreate this in a small sample :)</p>
  
  <p>Many thanks</p>