{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // have the same spantree root. (Each supernode is connected to itself.)
        // If two supernodes are already connected in the spantree, they will
        if this_supernode != self.spantree_root(succ_supernode) {