public static void printDescription(Description self, OutputStream stream, boolean toplevelP) {
    if (self.deletedP()) {
      stream.nativeStream.print("|dElEtEd-description|");
      if (self.surrogateValueInverse != null) {
        stream.nativeStream.print(self.surrogateValueInverse);
      }
      return;
    }
    if (((Boolean)(Logic.$LOADINGREGENERABLEOBJECTSp$.get())).booleanValue() ||
        (BooleanWrapper.coerceWrappedBooleanToBoolean(self.badP()) ||
         Logic.$DEBUG_PRINT_MODEp$)) {
      stream.nativeStream.print("|d|");
    }
    else if (toplevelP &&
        (!((Boolean)(Stella.$PRINTREADABLYp$.get())).booleanValue())) {
      if (Logic.classP(self)) {
        stream.nativeStream.print("|c|");
      }
      else if (Logic.functionP(self)) {
        stream.nativeStream.print("|f|");
      }
      else if (Logic.relationP(self)) {
        stream.nativeStream.print("|r|");
      }
      else {
        stream.nativeStream.print("|d|");
      }
    }
    Logic.printLogicalForm(self, stream);
  }