CIF may produce false positive duplicate event on edge warnings
Consider the following model (MWE):
group def D(): event a; end automaton def A(D x, y): location l1: initial; edge x.a, y.a; end X: D(); Y: D(); B: A(X,Y);
The editor generates a warning for
x.a, y.a on the edge in location
l1 stating "Duplicate event "D.a" on a single edge." For this particular model it is an incorrect warning.
Just looking at the automaton definition, determining whether
y.a are the same is inconclusive: events
y.a are only the same if
x = y, but you don't know that until you have an instantiation of the definition.