Improve length handling in string preprocessing#994

forejtv merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

allredj:pr/string-preprocess-improve-lengthsallredj/cbmc:pr/string-preprocess-improve-lengthsCopy head branch name to clipboard