Программирование согласно контракту на JVM

"По сути, условия быстро перестают работать. Нет смысла запускать код, если в конце, вычисление завершится неудачно из-за неправильного предположения."

Я бы сказал не "условия перестают работать", они все таки не перестают.
А "условия прерывают работу".

Спасибо за перевод