This verification is about the 1st refinement step, which turns chain selection from a set into one-by-one chain selection that always compares a single new chain with an existing best chain.