Fix bug in preprocessing of String.equals#1977

romainbrenguier merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/string-equals-TG-2179romainbrenguier/cbmc:bugfix/string-equals-TG-2179Copy head branch name to clipboard