Two problems regarding code names: 1) It seems that we allow for codes with identical names even though some checks for this should be in place 2) We allow for empty code names (again, this means that the checks have a leak somewhere) <img width="452" alt="Image" src="https://github.com/user-attachments/assets/231bc4af-d4eb-4bb0-8bfb-f1a7a226f193" />
Two problems regarding code names: