SVA to check if the signal changes on the clock edge

[Sudarshan]

Thank you Ben and Sharvil for the solutions.