Fix dup2, pop2 et al operating on pointers#329

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:fix_dup2smowton/cbmc:fix_dup2Copy head branch name to clipboard