Assertion list for term "used up until last bit".

Results from Ascent++: 1
pig ReceivesActionused up until last bit 0.28