Factor out goto model processing and default options#2049

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

karkhaz:kk-factor-goto-model-processingkarkhaz/cbmc:kk-factor-goto-model-processingCopy head branch name to clipboard