* @param verboseP
   */
  public static void printGoalStack(ControlFrame frame, boolean verboseP) {
    if (frame.proposition != null) {
      { Object old$Printinframe$000 = Logic.$PRINTINFRAME$.get();

        try {
          Native.setSpecial(Logic.$PRINTINFRAME$, frame);
          if (verboseP) {
            {
              ControlFrame.printControlFrame(frame, Stella.STANDARD_OUTPUT.nativeStream);
              System.out.println();
            }
          }
          else {
            System.out.println(frame.proposition);
          }

        } finally {
          Logic.$PRINTINFRAME$.set(old$Printinframe$000);
        }
      }
    }
    if (frame.down != null) {
      ControlFrame.printGoalStack(frame.down, verboseP);
    }
  }