Assertion list for term "based on an in-block delay".

Results from Ascent++: 1
path ReceivesActionbased on an in-block delay 0.35