original.name="Old_Invalid_8"
js.compile.ignore=true
======
>>> main.whiley
method m(&int p)
ensures *p != old(*p):
    //
    *p = *p + 1

method g():
    &int q = new 1
    m(q)
    // Cannot conclude following
    assert *q == 1

public export method test():
   g()
---
E705 main.whiley 10,11:17
E722 main.whiley 10,11:17