Remove all references to optionalt#8099

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/optionalttautschnig/cbmc:cleanup/optionaltCopy head branch name to clipboard