{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"error.obligation.predicate.kind().rebind(pred),"}]}
                                            error.obligation.predicate.kind().rebind(pred),
                                            err,
                                        );