Remove ID_reference as front-ends use ID_pointer+ID_C_reference#1476

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

remove_ID_referencediffblue/cbmc:remove_ID_referenceCopy head branch name to clipboard