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.
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.