public static void printFormulaContainingError(Stella_Object self, OutputStream stream) {
    { OutputStringStream temp = OutputStringStream.newOutputStringStream();
      String expressionstring = null;

      temp.nativeStream.print(self);
      expressionstring = temp.theStringReader();
      if (expressionstring.length() > Logic.$EXPRESSION_SIZE_CUTOFF$) {
        expressionstring = Native.string_subsequence(expressionstring, 0, Logic.$EXPRESSION_SIZE_CUTOFF$) + " ......)";
      }
      stream.nativeStream.print(expressionstring);
    }
  }