{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"match"}]}
        match ocx.deeply_normalize(&normalize_cause, normalize_param_env, obligation.predicate) {
    for obligation in &mut obligations {
            Ok(pred) => obligation.predicate = pred,