Do not generate nil_exprt in bv_get#4197

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bv_get-unbounded-arraytautschnig/cbmc:bv_get-unbounded-arrayCopy head branch name to clipboard