private static boolean dominatesAll(Int2ObjectMap<DFAType> dominator, Int2ObjectMap<DFAType> dominated) {
    for (Int2ObjectMap.Entry<DFAType> dominatedEntry : dominated.int2ObjectEntrySet()) {
      DFAType dominatingType = dominator.get(dominatedEntry.getIntKey());
      if (dominatingType == null || !DFAType.dominates(dominatingType, dominatedEntry.getValue())) {
        return false;
      }
    }
    return true;
  }
private static boolean dominatesAll(Int2ObjectMap<DFAType> dominator, Int2ObjectMap<DFAType> dominated)