[sv-ac] sv-ac 1531

Ed,

we need a  definition of a semantic for static local variables.
In particular it make sense to define different flow rules
for static local variables.

for example

property p1;
logic [3:0] v;

((a, v = 1) or (b, v=2)) ##1 (v == 1);
endproperty

is legal, but

property p2;
static logic [3:0] v;

((a, v = 1) or (b, v=2)) ##1 (v == 1);
endproperty

probably should not be legal, because the value of v flowing out of ((a, 
v = 1) or (b, v=2)) is undefined.

BTW, I think that initialization should be in a separate proposal.

Doron