Refactor basic block detection into standalone utility module#8781

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

tautschnig:fix-1686-basic-block-refactortautschnig/cbmc:fix-1686-basic-block-refactorCopy head branch name to clipboard