I noticed that (pre/post)conditions supressions (SuppressMessage attributes with "EnsuresInMethod" and "RequiresAtCall" modifiers) placed on abbreviators (methods marked with ContractAbbreviator attribute) are not considered by static checker. Now if I have
(pre/post)condition in abbreviator that is too complex for static checker I forced to copy suppression to all usages of this abbreviator. I think it would be good feature if static cherker will consider suppressions on abbreviators or rewriter will copy it
to all usages of abbreviator.