Assertion list for term "likely to exceeded".

Results from Ascent++: 1
limit ReceivesActionlikely to exceeded 0.25