added warning if not all clauses are marked