unwindsett: goto_model is only needed for options processing#8643

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:unwindsett-constructortautschnig/cbmc:unwindsett-constructorCopy head branch name to clipboard