Range sets cannot handle negative offsets in byte extracts #2524
Description
The test regression/cbmc/full_slice3 (#2525) currently crashes at https://github.com/diffblue/cbmc/blob/develop/src/analyses/goto_rw.cpp#L157