original.name="For_Invalid_4"
======
>>> main.whiley
public export method test():
    int r
    //
    for i in 0..5 where r >= 0:
        r = r + i
    //
    assume r == (0+1+2+3+4)
---
E601 main.whiley 4,24
E601 main.whiley 5,12
E601 main.whiley 7,11