SVA: condition met between two disabled sections not showing pass/finish

In reply to ben@SystemVerilog.us:

Sorry for late reply. thanks for the suggestions.
I will try and let you know.