{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"obligation_tree_id:"}]}
    obligation_tree_id: ObligationTreeId,
    /// Identifier of the obligation tree to which this node belongs.
}