Verify algorithms under repeated iterations, fix RecMerge