{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"if"}]}
                if error.obligation.predicate == self.predicate {
                debug!("Wf-check got error for {:?}: {:?}", ty, error);
                    // Save the cause from the greatest depth - this corresponds