Contratos de código + Análisis de código

Pienso en empezar a usarContratos de código en mi código base

Ya utilizo Code Analysis con todas las reglas habilitadas y un objetivo de cero advertencias.

Sin embargo, cuando se utilizaContract.Requires(parameter != null) Recibo una advertencia de Code Analysis, a saber CA1062:

CA1062: Microsoft.Design: en el método 'Foo' visible externamente, valide el parámetro 'parámetro' antes de usarlo.

Eso es desafortunado, no quiero deshabilitar esa regla ya que la encuentro útil. Pero tampoco quiero suprimir cada falsa ocurrencia de ello.

¿Hay alguna solución?