SVA->Buechi: implement `first_match(...)` sequence operator#1233

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

buechi-sequence_first_matchdiffblue/hw-cbmc:buechi-sequence_first_matchCopy head branch name to clipboard