{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"debug!("}]}
            debug!(
            let root_vid = self.root_var(unsolved_vid);
                "calculate_diverging_fallback: unsolved_vid={:?} root_vid={:?} diverges={:?}",