#537 Synxtax checker problem with property

[Jonathan Alvarez]

Dear SVEditor developers,

I have the following property in SV.
The syntax checker of SVEditor says that there is something wrong. See picture.
However, the code is compilable and it works.
It says something about the parenthesis.(see picture attached)

        property AR_legal_wrap_burst_p;
        disable iff(!AXI_RESETn)
            ARVALID && ARBURST==XBURSTTYPE_WRAP |->
            (ARADDR % (1 << ARSIZE) =='0) && 
            (({1'b0,ARLEN}+9'd1) inside {5'd2,5'd4,5'd8,5'd16});
        endproperty

[Jonathan Alvarez]

Maybe, there is a workaround or other way to write this using less parenthesis.