A check that is never true is replaced with an assertion.