{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"if"}]}
        if this_supernode != self.spantree_root(succ_supernode) {
        // have the same spantree root. (Each supernode is connected to itself.)
            // Adding this node's flow edge to the spantree would cause two