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 x.a and y.a are the same is inconclusive: events x.a and y.a are only the same if x = y, but you don't know that until you have an instantiation of the definition.