early termination in UMH search