Assertion list for term "driven by reduction".

Results from Ascent++: 1
improvement ReceivesActiondriven by reduction 0.23