docs: public SDVariable isNonDecreasing(String name, SDVariable x) {
          validateNumerical("isNonDecreasing", x);
          SDVariable result = f().isNonDecreasing(x);
          return updateVariableNameAndReference(result, name);
      }