Re: [sv-bc] illegal priority if

I opened http://eda.org/svdb/bug_view_page.php?bug_id=1304 about this
and uploaded a proposal.

"On the other hand, I think there is a real issue with the text that
allows checking the uniqueness *after* executing the statement for
one of the cases.  That is an incorrect check.  It could produce false
errors in common coding situations.  Perfectly valid state machines
using unique could be declared illegal with this allowed.  And fixing
it is just a matter of modifying the text to require checking all the
conditions before executing the selected statement.  This is not
difficult."

-- Brad