[sv-ac] Seeking opinions about Mantis http://www.verilog.org/mantis/view.php?id=2547 (local variable read before write)

Hi guys-I was reviewing Mantis 2547, addressing some questions about the requirement that local variables be written before being read. We had a basic proposal to just keep the requirement as-is, but Gord also pointed out that it would be more consistent with the rest of the language to allow a read before write, and initialize to the default value. So we need to choose:

1. Do we want to keep read before write prohibited, and just clean up the language?

2. Or should assertion local variables get default values like other SV variables?

Please tell me if you have a strong opinion one way or the other. My inclination is to choose option #1, to minimize the changes in the language

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.