UCS-dups now makes use of the closed list appropriately.