public static void printExplanationLabel(OutputStream stream, String label, boolean headP) {
    headP = headP;
    if (((Keyword)(Logic.$EXPLANATION_FORMAT$.get())) == Logic.KWD_ASCII) {
      stream.nativeStream.print(label);
    }
    else if (((Keyword)(Logic.$EXPLANATION_FORMAT$.get())) == Logic.KWD_XML) {
      {
        stream.nativeStream.print("<label>");
        stream.nativeStream.print(label);
        stream.nativeStream.println("</label>");
      }
    }
    else if (((Keyword)(Logic.$EXPLANATION_FORMAT$.get())) == Logic.KWD_HTML) {
      {
        stream.nativeStream.print("<STRONG>");
        stream.nativeStream.print(label + "&nbsp;");
        stream.nativeStream.print("</STRONG>");
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + ((Keyword)(Logic.$EXPLANATION_FORMAT$.get())) + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
  }