original.name="Old_Invalid_13"
js.compile.ignore=true
======
>>> main.whiley
method copy(&int p, &int q)
requires p != q
ensures old(*p) == *p
ensures *q == *p:
   *q = 1

public export method test():
    &int a = new 1
    &int b = new 1
    copy(a,b)
    *b = 123
    copy(a,b)
    *a = 123
    *b = 456
    copy(a,b)
---
E701 main.whiley 15,4:12
E717 main.whiley 1,0:82