Function spill_batch 

pub(crate) fn spill_batch<T>(
    batch: VecDeque<T>,
    worklist: &mut VecDeque<T>,
    order: SymbolicExplorationOrder,
)

Spills the remaining local batch onto the global worklist in scheduler order.