{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":".map(|e|"}]}
            .map(|e| (e.obligation.predicate, None, Some(e.obligation.cause.clone())))
            .iter()
            .collect();