Writing Assertions for FSM

In reply to ben@SystemVerilog.us:

Hi sir,
Thanks for the reply and feedback. I have made all the possible changes and modifications as you have mentioned and now the code is error-free.

But then, there is no output shown in my console. The assertions are not firing like it has to. Can you please point out where I went wrong?

Modified EDA link APB_MOD

ThankYou