Assertion list for term "pivot at end".

Results from Ascent++: 1
arm CapableOfpivot at end 0.31