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