Assertion list for term "move in lock step".

Results from Ascent++: 1
prime rate (subgroup of rate) CapableOfmove in lock step 0.34