Fixed a bug where the rw_set range not being set correctly#2693

martin-cs merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

zhixing-xu:fix_rw_range_upperzhixing-xu/cbmc:fix_rw_range_upperCopy head branch name to clipboard