Fix a crash during SMT translation of structs#5904

SaswatPadhi merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

padhi-forks:smt_struct_fixpadhi-forks/cbmc:smt_struct_fixCopy head branch name to clipboard