Fix problem with string data allocation TG-1612#1615

romainbrenguier merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/string-allocation#TG1619romainbrenguier/cbmc:bugfix/string-allocation#TG1619Copy head branch name to clipboard