Value set: lift offset from numeric constants to expressions#8647

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:value-set-offsettautschnig/cbmc:value-set-offsetCopy head branch name to clipboard