Value sets must not be field sensitive for unions#5713

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:value-set-uniontautschnig/cbmc:value-set-unionCopy head branch name to clipboard