docs: public static DynamicVariableSet fromVariables(VariableNumMap variables) {
      return new DynamicVariableSet(variables, Collections.<String> emptyList(),
          Collections.<DynamicVariableSet> emptyList(), new int[0]);
    }