Assertion list for term "push in the back".

Results from Ascent++: 1
wire CapableOfpush in the back 0.25