restore termination proof in Data.Text.Search