public static void printLogicCommandResult(Stella_Object result) {
    { World temp000 = Logic.lookupConstraintPropagationWorld(((Context)(Stella.$CONTEXT$.get())));

      { Context printcontext = ((temp000 != null) ? temp000 : ((Context)(Stella.$CONTEXT$.get())));

        { Object old$Printmode$000 = Logic.$PRINTMODE$.get();
          Object old$PrettyprintlogicalformsP$000 = Logic.$PRETTYPRINTLOGICALFORMSp$.get();
          Object old$Context$000 = Stella.$CONTEXT$.get();

          try {
            Native.setSpecial(Logic.$PRINTMODE$, Logic.KWD_REALISTIC);
            Native.setBooleanSpecial(Logic.$PRETTYPRINTLOGICALFORMSp$, true);
            Native.setSpecial(Stella.$CONTEXT$, printcontext);
            if (result != null) {
              System.out.println(Logic.$LOGIC_COMMAND_RESULT_INDENT$ + result);
            }

          } finally {
            Stella.$CONTEXT$.set(old$Context$000);
            Logic.$PRETTYPRINTLOGICALFORMSp$.set(old$PrettyprintlogicalformsP$000);
            Logic.$PRINTMODE$.set(old$Printmode$000);
          }
        }
      }
    }
  }