Как найти «замаскированные» утверждения в контрактах MS Code

У меня есть следующая запись уровня сообщения в моем списке ошибок из CodeContracts:

CodeContracts: проверено 410 утверждений: 404 правильных (6 замаскированных)

я не могу понять:

1. Что такое замаскированные утверждения
2. Как найти 6 упоминаемых в нем
3. Должен ли я беспокоиться о них

Извините, что не публикую код... Я понятия не имею, как воссоздать это в небольшом образец :)

Большое спасибо