{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":".filter_map(format_pred)"}]}
            .filter_map(format_pred)
            .map(|error| error.root_obligation.predicate)
            .map(|(p, _)| format!("`{p}`"))