Microsoft Code Contracts中的屏蔽断言是什么？

Question

  

可能重复：
  How to find 'masked' assertions in MS Code Contracts

我最近在C＃4.0下开始使用Code Contracts，我收到如下消息：

CodeContracts: Checked 50 assertions: 33 correct (17 masked)

我一直在寻找一个掩盖的断言是什么，但还没有找到它。它不在CodeContracts手册中，也不能在'蒙面断言'上找到任何内容。

有什么见解？