Assertion list for term "lock with twist".

Results from Ascent++: 1
pusher CapableOflock with twist 0.25