@Override
  public void newControlFlowEdge(int insn, int successor) {
    if (!transitions[insn].contains(successor)) {
      transitions[insn].add(successor);
      edgeCount++;
    }
  }
@Override
  public void newControlFlowEdge(int insn, int successor)