SVA: introduce `sva_indexed_nexttime_exprt` and `sva_indexed_s_nexttime_exprt`#693

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

indexed_nexttimediffblue/hw-cbmc:indexed_nexttimeCopy head branch name to clipboard