If the programmer's intent is to go through 1 to n, then he expects no loops in case of n=0, but (1 .. n) will produce
the vector {1,0} when n=0, which can result in an error.
To reduce this error source, all statement of the form ForEach(i, 1 .. n) should be exchanged with For(i:=1,i<=n, i++) or similar.
Also (1 .. n) makes a vector, that take up more space, than a single integer variable.
PS. I have started to fix the scripts, hope to commit in a couple of days.
If the programmer's intent is to go through 1 to n, then he expects no loops in case of n=0, but (1 .. n) will produce the vector {1,0} when n=0, which can result in an error.
To reduce this error source, all statement of the form ForEach(i, 1 .. n) should be exchanged with For(i:=1,i<=n, i++) or similar.
Also (1 .. n) makes a vector, that take up more space, than a single integer variable.
PS. I have started to fix the scripts, hope to commit in a couple of days.