original.name="While_Invalid_11"
js.execute.ignore=true
======
>>> main.whiley
function sumOver(int[] ls) -> int:
    int i = 0
    int sum = 0
    //
    while i < |ls| where (i >= 0) && (sum >= 0):
        sum = sum + ls[i]
        i = i + 1
    //
    return sum

public export method test():
   assume sumOver([]) == 0
   assume sumOver([0]) == 0
   assume sumOver([1,2]) == 3
   assume sumOver([1,2,3]) == 6
   assume sumOver([1,-2]) == 0
---
E704 main.whiley 5,25:46
E721 main.whiley 5,25:46