return STL containers directly for some variants of compute_called_functions#1386

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

return_directlydiffblue/cbmc:return_directlyCopy head branch name to clipboard