C++ function disambiguation and template scope cleanup [blocks: #1260]#2318

tautschnig merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c++-template-resolutiontautschnig/cbmc:c++-template-resolutionCopy head branch name to clipboard