code: private static Formula read(final File file, final FormulaParser parser) throws IOException, ParserException {
      try (final BufferedReader br = new BufferedReader(new FileReader(file))) {
        final LinkedHashSet<Formula> ops = new LinkedHashSet<>();
        while (br.ready())
          ops.add(parser.parse(br.readLine()));
        return parser.factory().and(ops);
      }
    }
docs: Internal read function.
  @param file   the file
  @param parser the parser
  @return the parsed formula
  @throws IOException     if there was a problem reading the file
  @throws ParserException if there was a problem parsing the formula