code: public static void write(final String fileName, final Formula formula, final boolean splitAndMultiline,
                             final FormulaStringRepresentation formatter) throws IOException {
      write(new File(fileName), formula, splitAndMultiline, formatter);
    }
docs: Writes a given formula to a file with a given formula formatter.
  @param fileName          the file name of the file
  @param formula           the formula to write
  @param splitAndMultiline indicates whether - if the formula is an conjunction - the single operands should be
  written to different lines without a conjoining operator
  @param formatter         the formatter for the formula
  @throws IOException if there was a problem writing the file