This is better than what was there, but there are still a few serious problems.
This is better than what was there,
but there are still a few serious problems.

In particular, when the names are updated to avoid a clash,
need to translate exactly the appropriate terms referring to them.

Also, it's too aggressive in deciding it needs to rename
when all the duplicates are in the same quotient set.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@557 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware