public static String maybeDowncase(String string) {
    if (!((Module)(Stella.$MODULE$.get())).caseSensitiveP) {
      if (((Boolean)(Logic.$DOWNCASEOPERATORSp$.get())).booleanValue()) {
        return (Native.stringDowncase(string));
      }
      if (Stella.stringEqlP(string, "FORALL")) {
        return ("forall");
      }
      else if (Stella.stringEqlP(string, "EXISTS")) {
        return ("exists");
      }
      else if (Stella.stringEqlP(string, "THE")) {
        return ("the");
      }
      else if (Stella.stringEqlP(string, "AND")) {
        return ("and");
      }
      else if (Stella.stringEqlP(string, "OR")) {
        return ("or");
      }
      else if (Stella.stringEqlP(string, "NOT")) {
        return ("not");
      }
      else if (Stella.stringEqlP(string, "KAPPA")) {
        return ("kappa");
      }
      else if (Stella.stringEqlP(string, "SUBSET-OF")) {
        return ("subset-of");
      }
      else {
      }
    }
    return (string);
  }