Algorithm sections do not handle assertions in all cases

[Martin Sjölund]

In this code, only the equation-assertion is statically checked during translation. We can also remove assertions from algorithm-sections.
Furthermore, the assertions in the algorithm-section do not seem to be called (or at least: they don't cause assertions).

An algorithm block seems to be removed if it does not define any variable (r was added to this example to get the code to run; tested with print("abc") to make sure).

algorithm
  if time<1.5 then
    myAssert(time<0.5, "time>=0.5");
    assert(time<0.75, "time>=0.75");
  end if;
  assert(false, "time>=0.35");
  r := 1.5;
equation
  assert(false, "time>=0.35");

[Martin Sjölund]

This was fixed at some point