original.name="Old_Valid_22"
whiley.execute.ignore=true
js.compile.ignore=true
boogie.ignore=true
Whiley2Boogie.issue=127
======
>>> main.whiley
public export method test():
    &int p = new 1
    //
    for i in 0..1
    where *p > old(*p):
        *p = *p + 1
    //
    assert *p > 1
---