Assertion on req and gnt signals

In reply to ben@SystemVerilog.us:

Do we need handle “exactly two grant pulse” ?