original.name="Old_Valid_19"
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
    //
    assert *p == 1
---