Empty clauses are now allowed in the input format.