SVA: `not`/`implies`/`iff` operators yield a property#1185

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

sequence_not1-fixdiffblue/hw-cbmc:sequence_not1-fixCopy head branch name to clipboard