Locking top N uncleaned clauses too