{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"Ok(())"}]}
                    Ok(())
                    self.nodes.push(Node::new(parent, obligation, obligation_tree_id));
                }