{"ast_node_type":"import","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // Adding this node's flow edge to the spantree would cause two
        if this_supernode != self.spantree_root(succ_supernode) {
            // previously-disconnected supernodes to become connected, so add