{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"seen_preds.insert(error.obligation.predicate.kind().skip_binder());"}]}
                    seen_preds.insert(error.obligation.predicate.kind().skip_binder());
                {
                }