@SuppressWarnings("UnusedDeclaration")
  @NonNls
  private static String dumpDfaResult(ArrayList<Int2ObjectMap<IntSet>> dfaResult, ReachingDefinitionsDfaInstance dfa) {
    @NonNls final StringBuffer buffer = new StringBuffer();
    for (int i = 0; i < dfaResult.size(); i++) {
      Int2ObjectMap<IntSet> map = dfaResult.get(i);
      buffer.append("At ").append(i).append(":\n");
      for (IntSet v : map.values()) {
        buffer.append(i).append(" -> ");
        v.forEach((IntConsumer)i1 -> {
          buffer.append(i1).append(" ");
        });
      }
      buffer.append("\n");
    }

    return buffer.toString();
  }
@SuppressWarnings("UnusedDeclaration")
  @NonNls
  private static String dumpDfaResult(ArrayList<Int2ObjectMap<IntSet>> dfaResult, ReachingDefinitionsDfaInstance dfa)