Prefix identifiers in stubs with function name#2270

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:fix-stub-identifierspeterschrammel/cbmc:fix-stub-identifiersCopy head branch name to clipboard