迭代验证优先 (Iter-VF)