Пробую использовать это чудо в проекте:

Contract.Requires(gates != null);
Contract.Requires(Contract.ForAll(gates, gate => gate != null));
...
 foreach (var gate in gates)
                gate.PrepareForRecognize(operations);

Warning    23    contracts: Possibly calling a method on a null reference 'gate'

Кто-нибудь реально работал с ним, как его утихомирить? Сейчас просто отключил статическую проверку.