COMPAT: SVA local var init missing

[svenka3]

https://verificationacademy.com/forums/t/requirement-to-initialize-dynamic-variables-within-property-sequence/46052

module top;

  bit clk , s1 , s2 ;

  property p_bad(s1, s2, len);
   int v_cnt;//=0; // Must be initialized !!
    (s1, v_cnt++)  |=> s2;
  endproperty

  property p_ok(s1, s2, len);
   int v_cnt =0; // Must be initialized !!
    (s1, v_cnt++)  |=> s2;
  endproperty

endmodule