Maintain loop invariant annotation when converting do .. while#8417

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-do-while-loop-invarianttautschnig/cbmc:fix-do-while-loop-invariantCopy head branch name to clipboard