Bound the number of iterations

[sergey-goncharov]

There is a parameter for the plot length, but that does not help in case of Zeno-behaviour. I've tried to experiment with the program

v:=5; p:=10; e:=-0.5;
while true do {
  v'=-9.8, p'=v until_0.01 p<0 /\ v<0;
  v:=-0.5*v; 
}

which strangely triggers different kinds of errors from run to run, including parsing errors, but also Maximum call stack size exceeded. This is expected, but maybe the number of iterations can also be limited with a parameter then?