Assertion list for term "move to second".

Results from Ascent++: 2
miller CapableOfmove to second 0.29
martin CapableOfmove to second 0.28