Assertion list for term "limited by default".

Results from Ascent++: 1
size ReceivesActionlimited by default 0.29