{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"immediate_dominators[start_node]"}]}
    immediate_dominators[start_node] = None;
    let start_node = graph.start_node();