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