* @param stream
   */
  public static void printUnformattedLogicalForm(Stella_Object form, OutputStream stream) {
    { Object old$PrettyprintlogicalformsP$000 = Logic.$PRETTYPRINTLOGICALFORMSp$.get();

      try {
        Native.setBooleanSpecial(Logic.$PRETTYPRINTLOGICALFORMSp$, false);
        Logic.printLogicalFormInDialect(form, ((Keyword)(Logic.$LOGIC_DIALECT$.get())), stream);

      } finally {
        Logic.$PRETTYPRINTLOGICALFORMSp$.set(old$PrettyprintlogicalformsP$000);
      }
    }
  }