public static void traceGoalCache(String string, ControlFrame frame) {
    { Proposition goal = frame.proposition;

      if (Stella_Object.traceKeywordP(Logic.KWD_GOAL_CACHES)) {
        { Object old$Printinframe$000 = Logic.$PRINTINFRAME$.get();

          try {
            Native.setSpecial(Logic.$PRINTINFRAME$, frame);
            System.out.print(string);
            if (((Boolean)(Logic.$REVERSEPOLARITYp$.get())).booleanValue()) {
              System.out.print("not~");
            }
            System.out.println(goal);

          } finally {
            Logic.$PRINTINFRAME$.set(old$Printinframe$000);
          }
        }
      }
    }
  }