Found an interesting case when an OPT might be invalid and I think modeling tools are not checking it

Correct - this will break things.

I think this is related to this thread: Named element - and occurences . Here the issue is that it is possible to give an element (in a Template) a specific name and still have the element occurrences to unlimited.

Then we find a situation where we have two ELEMENTs at0002 with name “xxx” in the template.

For data we use the “well-known” algorithm of adding a suffix. For all elements where there are occurences greater than one; add suffix #{n}-

1 Like