In reply to ben@SystemVerilog.us:
Hi, I have just tried your suggestion, but I cannot still get that larger cover() passing.
I do not think adding property keyword helps.
See the other cover() statements with $past() in them, they do not use property keyword with $past()