{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"debug!(\"Wf-check"}]}
                debug!("Wf-check got error for {:?}: {:?}", ty, error);
            for error in ocx.select_all_or_error() {
                if error.obligation.predicate == self.predicate {