Verilog: fix semantics of `cover disable iff`#1346

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

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