code: public Formula clause(final Literal... literals) {
      final LinkedHashSet<Literal> ops = new LinkedHashSet<>(literals.length);
      Collections.addAll(ops, literals);
      return this.constructClause(ops);
    }
docs: Creates a new clause from an array of literals.
  <p>
  ATTENTION:  No reduction of operands is performed - this method should only be used if you are sure that the clause
  is free of redundant or contradicting literals.
  @param literals the collection of literals
  @return a new clause