{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":".insert(obligation.to_owned());"}]}
                                .insert(obligation.to_owned());
                                .or_insert_with(UnordSet::default)
                            return true;