Parse a expect_property_statement, returning a vl-cassertion.
(vl-parse-expect-property-statement &key (tokstream 'tokstream) (config 'config)) → (mv errmsg? value new-tokstream)
SystemVerilog-2012 grammar:
expect_property_statement ::= 'expect' '(' property_spec ')' action_block