Fix basic block coverage with unsatisfiable ASSUME statements#8791

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

tautschnig:fix-826-basic-block-assumestautschnig/cbmc:fix-826-basic-block-assumesCopy head branch name to clipboard