Load classes from opaque calls [TG-3657] #2335

thk123 merged 8 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:bugfix/load-classes-from-opaque-callsthk123/cbmc:bugfix/load-classes-from-opaque-callsCopy head branch name to clipboard