Fix case of empty string in String.lastIndexOf and String.indexOf TG-592#1627

romainbrenguier merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/string-last-index-of#TG-592romainbrenguier/cbmc:bugfix/string-last-index-of#TG-592Copy head branch name to clipboard