initialize_goto_model now returns a goto_model#1483

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

signature_initialize_goto_modeldiffblue/cbmc:signature_initialize_goto_modelCopy head branch name to clipboard