Function pop_batch 

pub(crate) fn pop_batch<T>(
    batch: &mut VecDeque<T>,
    order: SymbolicExplorationOrder,
) -> Option<T>

Pops the current path from a local batch according to the configured exploration order.