bv_get_rec: ensure all expressions are properly typed#7020

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/typed-bv_get_rectautschnig/cbmc:bugfixes/typed-bv_get_recCopy head branch name to clipboard