code: public static Formula readPropositionalFormula(final File file, final FormulaFactory f) throws IOException, ParserException {
      return read(file, new PropositionalParser(f));
    }
docs: Reads a given file and returns the contained propositional formula.
  @param file the file
  @param f    the formula factory
  @return the parsed formula
  @throws IOException     if there was a problem reading the file
  @throws ParserException if there was a problem parsing the formula