Incorrect treatment of clocked when equations in the new instantiation

[anonymous]

In the new instantiation clocked when equations are treated as discrete ones. That leads to the next problems:

• left-hand restrictions on discrete when equations applied to clocked ones

  model Example1
    Real x, y;
  equation
    when Clock(0.1) then
      x + y = 0;
      x - y = 0;
    end when;
  end Example1;
  
  //Invalid left-hand side of when-equation: x + y.
  

• clocked elsewhen equations are allowed

  model Example2
    Real x, y;
  equation
    when Clock(0.1) then
      x = 0;
      y = 1;
    elsewhen Clock(0.2) then
      x = 2;
      y = 3;
    end when;
  end Example2;
  
  //No errors or warnings