Value set dereferencing: do not treat struct prefixes as equal#5876

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-struct-prefixtautschnig/cbmc:no-struct-prefixCopy head branch name to clipboard