{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":".collect::<Vec<_>>()"}]}
                                            .collect::<Vec<_>>()
                                            .map(|e| e.obligation.predicate.to_string())
                                            .join("\n"),