{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"tcx.reuse_or_mk_predicate(pred,"}]}
    tcx.reuse_or_mk_predicate(pred, new)
    let new = tcx.anonymize_bound_vars(pred.kind());
}