Bug: You can create two lines with the same name in the same production #545
Description
It is currently possible to have several lines with the same name in the same production. It's fine if lines have the same line names if they're in different productions, but not in the same production:
