use get_target() where appropriate#1302

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

goto-get-targetdiffblue/cbmc:goto-get-targetCopy head branch name to clipboard