Set<String> (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; }