Syntax errors in SVA properties

[msfschaffner]

The reduced testcase below fails with the following syntax errors:

/home/msf/Desktop/test.sv:7:13: syntax error, rejected "first_match" (https://github.com/google/verible).
/home/msf/Desktop/test.sv:8:3: syntax error, rejected "endproperty" (https://github.com/google/verible).

module test (
  input foo,
  input bar
);

  property testprop(int lsb);
    foo ##1 first_match(##[0:$] ~foo == lsb);
  endproperty

endmodule

Verible version:

v0.0-808-g1e17daa
Commit	2020-12-14 17:14:57 -0800
Built	2020-12-15T01:35:23Z

I came across this in the OpenTitan DV code, and it would be great if this could be parsed correctly.

[msfschaffner]

b/178507780