Assertion list for term "useful to avoid redundancies".

Results from Ascent++: 1
format ReceivesActionuseful to avoid redundancies 0.19