{"ast_node_type":"function","tokens":[{"end":94,"kind":"keyword","start":0,"text":"fn"}]}
    fn opt_nested<T: Into<DebugSolver<I>>>(&self, state: impl FnOnce() -> Option<T>) -> Self {
        ProofTreeBuilder {