c# - Microsoft Code Contracts のマスクされたアサーションとは何ですか?

Question

重複の可能性:
MS コード コントラクトで「マスクされた」アサーションを見つける方法

最近、C# 4.0 で Code Contracts を使い始めましたが、次のようなメッセージが表示されます。

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

マスクされたアサーションとは何かを調べてみましたが、見つかりませんでした。CodeContracts のマニュアルにはありませんし、「マスクされたアサーション」についても何も見つかりませんでした。

洞察はありますか？