Assertion list for term "completed within short duration".

Results from Ascent++: 1
fence ReceivesActioncompleted within short duration 0.25