Strange discrete behavior in algorithms

[Lennart Ochel]

The following two models produces different simulation results:

model foo3
  Real x;
  Boolean b1, b2;
algorithm
  b1 := time > 0.5;
  b2 := time > 0.5;
  when b1 then
    x := pre(x) + 1;
  elsewhen b2 then
    x := pre(x) + 0.1;
  end when;
end foo3;

model foo3b
  Real x;
  Boolean b1, b2;
algorithm
  b2 := time > 0.5;
  b1 := time > 0.5;
  when b1 then
    x := pre(x) + 1;
  elsewhen b2 then
    x := pre(x) + 0.1;
  end when;
end foo3b;

The only difference is that the first two statements of the algorithm sections are swapped.