Map wrappers: forward more of the std::map interface#1365

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/more_map_forwardingsmowton/cbmc:smowton/feature/more_map_forwardingCopy head branch name to clipboard