Convert assert calls to INVARIANTs#4

chrisr-diffblue merged 1 commit intochrisr-diffblue:cbmc-bookwormchrisr-diffblue/cbmc:cbmc-bookwormfrom

hannes-steffenhagen-diffblue:fix-convert-asserts-to-invariantshannes-steffenhagen-diffblue/cbmc:fix-convert-asserts-to-invariantsCopy head branch name to clipboard