{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"Ok(pred)"}]}
            Ok(pred) => obligation.predicate = pred,
        match ocx.deeply_normalize(&normalize_cause, normalize_param_env, obligation.predicate) {
            Err(e) => {