Split the entry-point-generation phase into two parts#1394

smowton merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/split_frontend_final_stagesmowton/cbmc:smowton/feature/split_frontend_final_stageCopy head branch name to clipboard