{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":".map(|error|"}]}
            .map(|error| error.root_obligation.predicate)
            .into_iter()
            .filter_map(format_pred)