[sv-ec] isnide for array of unpacked structs

There is a mistake in LRM in inside definition:
/"If an expression in the list is an unpacked array, its elements are
traversed by descending into the array until reaching a singular value."/
what if it is array of unpacked struct - we should be descending into
the array until reaching non-array bcos unpacked struct is not singular.

    module top;
       typedef struct{ real re; int i;} T;
       T arr[10];
       T s;
       initial assert (s inside (arr));//nonsne according to LRM
    endmodule

DANiel

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.