original.name="Old_Valid_14"
js.compile.ignore=true
======
>>> main.whiley
variant immutable(&int p)
where *p == old(*p)
variant unchanged(&int p)
where immutable(p)
method m(&int p)
ensures unchanged(p):
skip
public export method test():
&int p = new 1
m(p)
assert *p == 1
---