Finer test for halting sets