void buildFrom(@NotNull ControlFlow flow) {
      // traverse the whole flow to collect the graph edges
      ControlFlowUtil.depthFirstSearch(flow, this, 0, flow.getSize());
    }
void buildFrom(@NotNull ControlFlow flow)