Verilog: cleanup downwards type propagation#1292

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

verilog-downwards-propdiffblue/hw-cbmc:verilog-downwards-propCopy head branch name to clipboard