Updating CBMC from "5.95.1" to 5.95.1 failed. The failed automated run [can be found here.](https://github.com/celinval/kani-dev/actions/runs/8778552026)
