Make two helper functions available#1611

mgudemann merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:enhancement/make_available_erase_type_arguments_gather_full_class_namemgudemann/cbmc:enhancement/make_available_erase_type_arguments_gather_full_class_nameCopy head branch name to clipboard