{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"graph.add_edge(NodeIndex(sub_vid.index()),"}]}
                    graph.add_edge(NodeIndex(sub_vid.index()), NodeIndex(sup_vid.index()), *c);
                    let sup_vid = c.sup.as_var();
                }