Value sets: track pointers through shifts#7024

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/value_set-shifttautschnig/cbmc:bugfixes/value_set-shiftCopy head branch name to clipboard