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

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