Support for empty clauses