Add check for unique production names

As seen in #24 (closed), when the names of productions are the same there is a chance that this will cause the merging step to fail.

This MR adds a quick check to make sure that the names are unique.