Move generic information from decorated pointers to decorated tags#4114

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/cleanup/generics-on-tagssmowton/cbmc:smowton/cleanup/generics-on-tagsCopy head branch name to clipboard