(gui) Forbid using twice the same name for instances and ports