SVA: replace `sva_sequence_concatenation_exprt`#1162

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

remove-sva-sequence-concatenationdiffblue/hw-cbmc:remove-sva-sequence-concatenationCopy head branch name to clipboard