Dado o seguinte código de exemplo, como posso configurar o Pex para respeitar meus contratos de códig

    public static IEnumerable<User> Administrators(this UserGroup userGroup)
    {
        Contract.Requires(userGroup != null);
        Contract.Requires(userGroup.UserList != null);

        return userGroup.UserList.Where(ul => ul.IsAdmin == true);
    }

roblema atual: Quando executo o Pex, ele ainda está gerando casos de teste que violam os contratos de código especificado

PARA SUA INFORMAÇÃO:Aqui estão as configurações de 'Contratos de código' no meu arquivo csproj.

EDITAR Fez algo quebra no SP1?