Goto conversion: fix missing source locations#8444

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-missing-locstautschnig/cbmc:fix-missing-locsCopy head branch name to clipboard