TG-1179 Skip '::' instead of just ':' for class bounds in generics#1533

mgudemann merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:fix/support_class_bounds_genericsmgudemann/cbmc:fix/support_class_bounds_genericsCopy head branch name to clipboard