Fix segfault in k-induction step case with nested loops#8803

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-5357-k-inductiontautschnig/cbmc:fix-5357-k-inductionCopy head branch name to clipboard