docs: public static VariableNumMap unionAll(Collection<VariableNumMap> varNumMaps) {
      VariableNumMap curMap = EMPTY;
      for (VariableNumMap varNumMap : varNumMaps) {
        curMap = curMap.union(varNumMap);
      }
      return curMap;
    }