void (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; } }