Dado el siguiente código de ejemplo, ¿cómo puedo configurar Pex para respetar mis contratos de código?

    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);
    }

Problema actual: cuando ejecuto Pex, sigue generando casos de prueba que violan los contratos de código especificados.

FYI:Aquí están las configuraciones de 'Código de contratos' en mi archivo csproj.

EDITAR Hizo algobreak en SP1?