@Override
  public void newControlFlowExceptionEdge(int insn, int successor, boolean npe) {
    if (!transitions[insn].contains(successor)) {
      transitions[insn].add(successor);
      edgeCount++;
      Edge edge = new Edge(insn, successor);
      errorTransitions.add(edge);
      if (npe && !npeTransitions.containsKey(insn)) {
        npeTransitions.put(insn, successor);
      }
      errors[successor] = true;
    }
  }
@Override
  public void newControlFlowExceptionEdge(int insn, int successor, boolean npe)