{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"has_parent:"}]}
            has_parent: parent.is_some(),
            dependents: if let Some(parent_index) = parent { vec![parent_index] } else { vec![] },
            obligation_tree_id,