@Nullable
  private static Set<String> getResultNames(final List<DFAMap<ScopeVariable>> ins) {
    // Compute intersection of all the names
    Set<String> names2Include = null;
    for (DFAMap<ScopeVariable> map : ins) {
      if (map == PyReachingDefsDfaInstance.INITIAL_MAP) {
        continue;
      }
      names2Include = map.intersectKeys(names2Include);
    }
    return names2Include;
  }
@Nullable
  private static Set<String> getResultNames(final List<DFAMap<ScopeVariable>> ins)