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