Verilog: add all remaining property_expr rules from 1800-2017#540

kroening merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

verilog_property_exprdiffblue/hw-cbmc:verilog_property_exprCopy head branch name to clipboard