original.name="Old_Valid_21"
whiley.execute.ignore=true
js.compile.ignore=true
boogie.ignore=true
Whiley2Boogie.issue=127
======
>>> main.whiley
method f(&int p):
    int n = *p
    //
    for i in 0..1
    where *p > old(*p):
        *p = *p + 1
    //
    assert *p > n

public export method test():
    f(new 0)
---