Remove unqualified use of nullopt [blocks: #6749]#6756

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/nullopttautschnig/cbmc:cleanup/nulloptCopy head branch name to clipboard