SVA - To check value at previous OR current OR next clock cycle

In reply to ben@SystemVerilog.us:

Thanks Ben for your clear explanation.