Also relocate clauses on the subsumption queue.