Move condition to the verification search