Parse a
(vl-parse-procedural-assertion-statement atts &key (tokstream 'tokstream) (config 'config)) → (mv errmsg? value new-tokstream)
SystemVerilog-2012 grammar rules.
procedural_assertion_statement ::= concurrent_assertion_statement | immediate_assertion_statement | checker_instantiation
BOZO we don't yet handle