Add a check to make sure we don't reuse the same fake node names

Caught a couple benign places and one potentially-real issue.