{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"nested.enter_probe();"}]}
        nested.enter_probe();
        let mut nested = ProofTreeBuilder { state: self.state.take(), _infcx: PhantomData };
        nested