Assertion list for term "left in auction".

Results from Ascent++: 1
day ReceivesActionleft in auction 0.44