Add regression test to ascertain struct hack support#8801

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-5213-structhacktautschnig/cbmc:fix-5213-structhackCopy head branch name to clipboard