Что сделать при использовании Контракта. Утверждайте (верный), и метод должен возвратить что-то?

У меня есть немного кода со следующей логикой:

//pseudo-code
foreach (element in elementList) {
    if (element is whatever)
        return element;
    }
}

В теории всегда существует один элемент, который является тем, что, таким образом, этот метод не должен создавать проблемы. В любом случае я поместил утверждение на конец метода только, чтобы быть уверенным:

//pseudo-code
foreach (element in elementList) {
    if (element is whatever)
        return element;
    }
}

Contract.Assert(false, "Invalid state!");

Проблема состоит в том, что, поскольку этот метод должен возвратить что-то, и компилятор не понимает, что утверждение повредит выполнение программы. Перед использованием Контрактов, в подобных ситуациях, я раньше выдавал Исключение, которое решило проблему. Как Вы обработали бы это с Контрактом. Утверждать ()? Возврат пустого указателя или значения по умолчанию (element_type) после Контракта. Утверждайте () вызов, зная, что это никогда не будут называть и закрытие компилятора? Или есть ли какой-либо другой более изящный способ сделать это?

Спасибо