original.name="While_Invalid_10"
js.execute.ignore=true
======
>>> main.whiley
function extract(int[] ls) -> int[]:
    int i = 0
    int[] r = [0; 0]
    //
    while i < |ls| where |r| < 2:
        r[i] = ls[i]
        i = i + 1
    return r

public export method test():
   assume extract([]) == []
   assume extract([0]) == [0]  
---
E708 main.whiley 6,10
E724 main.whiley 6,10