Handle empty structs in the back-end (and a number of induced fixes)#2161

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:empty-structtautschnig/cbmc:empty-structCopy head branch name to clipboard