<!--- Thank you for reporting a problem and suggesting improvements. Please provide the below information to make sure we can effectively deal with the issue reported. For the most precise version information, see the first line of console output or run with --version. Please attach or include example code that allows us to reproduce the problem. ---> CBMC version: 5.67.0 Operating system: N/A Check purity of loop contracts.
