Function pop_worklist 

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

Pops the next pending path according to the configured exploration order.