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

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