Assertion list for term "stick in the worst case".

Results from Ascent++: 1
friction CapableOfstick in the worst case 0.22