Assertion for non-overlap sequence detector

In reply to ben@SystemVerilog.us:

Hi Ben,

Thank you for the solutions, Yes I agree that it seems putting it into a stream is the easier way to go.