In reply to dave_59:
Dave ,
Thanks for the clear explanation .
LRM 16.12.3 Negation property :: " The not operator switches the strength of a property "
On updating the stimulus for an addition clock tick for +define+M2 gives Failure for the same reason as +define+M1 .
Although I understand that we don’t discuss tool issues , personally I find it quite amusing that one of the Top Tools falls so short when it comes to assertions ( Even the licensed ones ) .
Apart from this ( not ) peculiar case I have observed that ’ strong ’ , ’ reject_on ’ , ’ s_until_with ’ isn’t supported .