{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":".is_some_and(|errors|"}]}
                        .is_some_and(|errors| errors.contains(v.key()));
                        .get(&obligation_tree_id)