{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"for"}]}
        for &non_diverging_vid in &non_diverging_vids {
        let mut roots_reachable_from_non_diverging = DepthFirstSearch::new(&coercion_graph);
            let root_vid = self.root_var(non_diverging_vid);