Assertion list for term "proven to be harmless".

Results from Ascent++: 1
correction ReceivesActionproven to be harmless 0.16