Wrong equation count for enum in when equations

[cschubert]

if an enum is set using an if equation inside a when equation, the OpenModelica Compiler the number of equations is set the possible states the enum can have rather than the dimensionality of the variable itself. Thus such models seem to be unbalanced.
Consider the model

model WhenCount
  type EnumA = enumeration(
      Value1,
      Value2);
  
  EnumA a;

equation 
  when (time > 0.5) then
    if (time < 1) then
      a = EnumA.Value1;
    else
      a = EnumA.Value2;
    end if;
  end when;

end WhenCount;

OMC reports:
Too many equations, overdetermined system. The model has 2 equation(s) and 1 variable(s).

[jfrenkel]

The Problem is that in the Backend the type of the ComponentRef is used. But the Type is Enumeration and there is the size the number of Elements in the Enumeration. If we use the right hand side the size would be zero because there the list of Elements is thero. This is maybe a bad implementation.

[jfrenkel]

change

case (DAE.ENUM_LITERAL(name = p)) then DAE.T_ENUMERATION(NONE(), p, {}, {}, {}, DAE.emptyTypeSource);

to

case (DAE.ENUM_LITERAL(name = p, index=i)) then DAE.T_ENUMERATION(SOME(i), p, {}, {}, {}, DAE.emptyTypeSource);

[sjoelund.se]

I fail to see the problem for the equation counting. Isn't the number of equations/vars always one for enumeration literals?

[sjoelund.se]

Was this fixed in r13973?