[sv-ec] implicit sensitivity list and class dynamic members

I've a question related to implicit sensitivity list (@*, always_comb). This
feature was assumed to help users in design code - for combinatorial blocks.
But in blocks under @* or always_comb also references to dynamic class
members can be used - as in below code. Should such references be added to
implicit sensitivity list>

class class0;
 int x; 
endclass
 
module top_006;
 class0 c0 = new; 
 class0 c1 = new; 
 
 initial begin
    #10 c0.x = 1;
    #10 c0.x = 0;
    #10 c0.x = 1;
    #10 c0 = c1; 
 end
 always@* $display($time, c0.x);        //should this be sensitive to c0.x?
endmodule


DANiel

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