Updating CBMC from 6.1.1 to 6.2.0 failed. The failed automated run [can be found here.](https://github.com/model-checking/kani/actions/runs/10766621939)
