Assertion to check if signal toggles

In reply to ben@SystemVerilog.us:

Got it! Thank you