Function deepen_stack_with_depth 

pub fn deepen_stack_with_depth<R: Send>(
    term: &Term,
    extra_depth: usize,
    f: impl FnOnce() -> R + Send,
) -> Option<R>

deepen_stack told about depth the term does not show — see deepen_stack_all_with_depth for the defect this closes.