Verifier complains about endless loop without a kept block.