Remove support for vector-typed expressions from back-ends#7736

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/remove-vector-from-back-endtautschnig/cbmc:cleanup/remove-vector-from-back-endCopy head branch name to clipboard