Fix type checking of vector expressions#5812

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-vectortautschnig/cbmc:fix-vectorCopy head branch name to clipboard