Symbol name must be unique

[Jaxan]

We gave a tutorial on ALEX at the BSR winter school. Some issues popped up.

When making a reset symbol, and adding actions some people ran into the problem that the actions cannot be saved as the symbol must be a unique name. But it actually has a unique name, so that's a bit weird. We could not really reproduce it, although we had it once too.

[abainczyk]

I can't reproduce this issue. Please provide an exact use case where the application behaves like you described. I close this issue for now.