{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"//"}]}
    // time[v].finish.
    // when vertex v is discovered first as time[v].start, and when its processing is finished as
    let mut time: IndexVec<N, Time> = IndexVec::from_elem(Time::default(), immediate_dominators);