Assertion list for term "left in the quarter".

Results from Ascent++: 2
run ReceivesActionleft in the quarter 0.28
pointer ReceivesActionleft in the quarter 0.25