Assertion list for term "used in expectation".

Results from Ascent++: 1
assertion ReceivesActionused in expectation 0.45