fn minimize_u256_pair_candidates( current_left: U256, current_right: U256, try_candidate: impl FnMut(U256, U256) -> bool, ) -> bool