SVA: strengthen typing of `sva_sequence_concatenation_exprt`#1161

kroening wants to merge 1 commit intomaindiffblue/hw-cbmc:mainfrom

sva_sequence_concatenation_typingdiffblue/hw-cbmc:sva_sequence_concatenation_typingCopy head branch name to clipboard