In reply to ben@SystemVerilog.us:
Ben,
I guess I have to check with the vendor in that case. As for the question for me, I am not using pass action block. It is just that assertion success/failures/vacuous success are visible when visualizing the variable dump. In such a case a vacuous success may be a source of trouble for my team mates during verification.
P.S. : Also the VCScompiler supports $assertoff/$asserton but I guess due to $assertcontrol, etc. being later additions the NYI issue is arising.