public static String getPropositionString(Proposition prop, Module module) {
    { Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(Stella.$MODULE$, module);
        Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
        { OutputStringStream ss = OutputStringStream.newOutputStringStream();

          { Object old$Printmode$000 = Logic.$PRINTMODE$.get();
            Object old$Printlogicalformstream$000 = Logic.$PRINTLOGICALFORMSTREAM$.get();
            Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

            try {
              Native.setSpecial(Logic.$PRINTMODE$, GuiServer.KWD_ORIGINAL);
              Native.setSpecial(Logic.$PRINTLOGICALFORMSTREAM$, ss);
              Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
              Logic.prettyPrintLogicalForm(prop, ss);

            } finally {
              Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
              Logic.$PRINTLOGICALFORMSTREAM$.set(old$Printlogicalformstream$000);
              Logic.$PRINTMODE$.set(old$Printmode$000);
            }
          }
          return (GuiServer.xmlifyFormattedString(ss.theStringReader()));
        }

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Stella.$MODULE$.set(old$Module$000);
      }
    }
  }