original.name="While_Invalid_2"
======
>>> main.whiley
public export method test(int[][] args) -> int:
    int i = 0
    int r = 0
    //
    while i < |args| where j > 0:
        r = r + |args[i]|
    //
    return r

---
E407 main.whiley 5,27