use `sva_sequence_repetition_exprt` for `[*]` and `[+]`#1090

kroening merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

sva_sequence_repetitiondiffblue/hw-cbmc:sva_sequence_repetitionCopy head branch name to clipboard