original.name="For_Invalid_1"
======
>>> main.whiley
public export method test():
    int i = 1
    int r = 0
    //
    for i in 0..5:
        r = r + i
    //
    assume r == (0+1+2+3+4)
---
E316 main.whiley 5,8
=====
>>> main.whiley 2:3
---