code: boolean hasOption(String opt) {
          Boolean has = options.get(opt);
          if (has == null) {
              throw new InternalError("hasOption called before allowedOptions or on bad option");
          }
          return has;
      }
docs: Has the specified option been encountered.
  
  @param opt the option to check
  @return true if the option has been encountered