Assertion list for term "strengthened by insert".

Results from Ascent++: 1
corner ReceivesActionstrengthened by insert 0.18