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

public export method test():
    m(new 1)
    m(new 2)
---
E701 main.whiley 8,4:11
E717 main.whiley 1,0:38