Removing constant clauses