Assertion list for term "applied without fold".

Results from Ascent++: 1
label ReceivesActionapplied without fold 0.36