- in test_if_skip_sort_order(), correct the condition under which
  we have the code that restores the previously pushed index condition.