Bug 1072: Produce an error if a routine is Replaced to two different symbols

This catches the following as an error:

Replace Main OriginalMain;
Replace Main OtherOriginalMain;

It also catches:

Replace Main OriginalMain;
Replace Whatever Main;

And also:

Replace Main Main;