Until_with evaluation

[user49]

In reply to kuki2002:

See my reply on exclusivity at
https://verificationacademy.com/forums/systemverilog/assertion-req-and-gnt-signals