TG-1212 Bugfix/add generic type args to dependencies#1597

mgudemann merged 2 commits intodevelopdiffblue/cbmc:developfrom

bugfix/add_generic_type_args_to_dependenciesdiffblue/cbmc:bugfix/add_generic_type_args_to_dependenciesCopy head branch name to clipboard