docs: public static final Assignment fromSortedArrays(int[] vars, Object[] values) {
      // Verify that the assignment is sorted and contains no duplicate values.
      for (int i = 1; i < vars.length; i++) {
        Preconditions.checkArgument(vars[i - 1] < vars[i], "Illegal assignment variable nums: %s %s",
            vars[i - 1], vars[i]);
      }
      return new Assignment(vars, values);
    }